diff options
Diffstat (limited to 'Doc/paper-a4')
| -rw-r--r-- | Doc/paper-a4/Makefile | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/Doc/paper-a4/Makefile b/Doc/paper-a4/Makefile index 15c7f14..2187c8e 100644 --- a/Doc/paper-a4/Makefile +++ b/Doc/paper-a4/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 |