diff options
Diffstat (limited to 'Doc/paper-letter')
| -rw-r--r-- | Doc/paper-letter/Makefile | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/Doc/paper-letter/Makefile b/Doc/paper-letter/Makefile deleted file mode 100644 index 95dffb8..0000000 --- a/Doc/paper-letter/Makefile +++ /dev/null @@ -1,23 +0,0 @@ - - -TEXINPUTS=../texinputs: - -all: all-ps - -all-ps: - $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) \ - -f ../Makefile do-ps - -all-pdf: - $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) \ - -f ../Makefile do-pdf - -all-dvi: - $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) \ - -f ../Makefile do-dvi - -clean: - $(MAKE) -f ../Makefile clean - -clobber: - $(MAKE) -f ../Makefile clobber |