diff options
Diffstat (limited to 'Doc/paper-letter')
| -rw-r--r-- | Doc/paper-letter/Makefile | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/Doc/paper-letter/Makefile b/Doc/paper-letter/Makefile index 72c8bbe..95dffb8 100644 --- a/Doc/paper-letter/Makefile +++ b/Doc/paper-letter/Makefile @@ -5,10 +5,19 @@ TEXINPUTS=../texinputs: all: all-ps all-ps: - $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile all-ps + $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) \ + -f ../Makefile do-ps all-pdf: - $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile all-pdf + $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) \ + -f ../Makefile do-pdf all-dvi: - $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile all-dvi + $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) \ + -f ../Makefile do-dvi + +clean: + $(MAKE) -f ../Makefile clean + +clobber: + $(MAKE) -f ../Makefile clobber |