diff options
Diffstat (limited to 'Doc/paper-a4')
| -rw-r--r-- | Doc/paper-a4/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Doc/paper-a4/Makefile b/Doc/paper-a4/Makefile new file mode 100644 index 0000000..15c7f14 --- /dev/null +++ b/Doc/paper-a4/Makefile @@ -0,0 +1,14 @@ + + +TEXINPUTS=.:../texinputs: + +all: all-ps + +all-ps: + $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile all-ps + +all-pdf: + $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile all-pdf + +all-dvi: + $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile all-dvi |