diff options
Diffstat (limited to 'Doc/paper-letter/Makefile')
| -rw-r--r-- | Doc/paper-letter/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Doc/paper-letter/Makefile b/Doc/paper-letter/Makefile new file mode 100644 index 0000000..72c8bbe --- /dev/null +++ b/Doc/paper-letter/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 |