diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-06-28 18:10:24 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-06-28 18:10:24 +0000 |
| commit | ac8098524252b459416fff7761010e901d1fe223 (patch) | |
| tree | c5cf54ef4ed15097d81c613c5ff25084bfb2f7e6 /doc/Makefile | |
| parent | b36e37eae0e4690c47393625f29ffca4ccdb28b2 (diff) | |
Added .ps.gz target and dist target.
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/doc/Makefile b/doc/Makefile index e53fd339..f89d92df 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -36,12 +36,12 @@ TEXI2PDF = texi2pdf TEXI2HTML = texi2html EMACS = xemacs -batch -.SUFFIXES: .texi .info .dvi .html .pdf .ps .eps .tiff +.SUFFIXES: .texi .info .dvi .html .pdf .ps .eps .tiff .gz .texi.info: $(MAKEINFO) $< -.texi.dvi: +.texi.dvi: $(TEXI2DVI) $< $(DVISELECT) -i $*.dvi -o $*.tmp1 $(TITLERANGE) $(DVISELECT) -i $*.dvi -o $*.tmp2 $(MAINRANGE) @@ -69,6 +69,9 @@ ProofGeneral.txt: ProofGeneral.eps: gunzip -c ProofGeneral.eps.gz > ProofGeneral.eps +%.gz : % + gzip -f -9 $* + ## ## doc : build info and dvi files from $(DOCNAME).texi ## @@ -77,10 +80,16 @@ doc: dvi info ## ## all : build all documentation targets ## -all: dvi ps html info +all: dvi ps html info pdf + +## +## dist: build distribution targets +## +dist: html psz dvi: ProofGeneral.eps $(DOCNAME).dvi -ps: $(DOCNAME).ps +ps: dvi $(DOCNAME).ps +psz: ps $(DOCNAME).ps.gz pdf: $(DOCNAME).pdf html: $(DOCNAME).html info: ProofGeneral.txt $(DOCNAME).info |