diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 13:40:28 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 13:40:28 +0000 |
| commit | b71f302def621904b7737b4e7ffa335cfbf71ec4 (patch) | |
| tree | f80709b97944bb9af76e9a88e2e02fc04f901134 /doc/Makefile | |
| parent | 9ac5e8b81cdc428d78979aade3fed309a4d80353 (diff) | |
Updates
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 21 |
1 files changed, 16 insertions, 5 deletions
diff --git a/doc/Makefile b/doc/Makefile index 52826e2c..c46965ec 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 +.SUFFIXES: .texi .info .dvi .html .pdf .ps .eps .tiff .texi.info: $(MAKEINFO) $< -.texi.dvi: +.texi.dvi: $(TEXI2DVI) $< $(DVISELECT) -i $*.dvi -o $*.tmp1 $(TITLERANGE) $(DVISELECT) -i $*.dvi -o $*.tmp2 $(MAINRANGE) @@ -49,6 +49,8 @@ EMACS = xemacs -batch $(DVICONCAT) -o $*.dvi $*.tmp1 $*.tmp3 $*.tmp2 rm -f $*.tmp1 $*.tmp2 $*.tmp3 +.tiff.eps: + tiff2ps -e -w 3.48 -h 5 $*.tiff > $*.eps .texi.pdf: $(TEXI2PDF) $< @@ -57,7 +59,15 @@ EMACS = xemacs -batch $(DVI2PS) $< -o $*.ps .texi.html: - $(TEXI2HTML) -split_chapter $< + $(TEXI2HTML) -expandinfo -split_chapter $< + +default: doc + +ProofGeneral.txt: + echo > ProofGeneral.txt + +ProofGeneral.eps: + gunzip -c ProofGeneral.eps.gz > ProofGeneral.eps ## ## doc : build info and dvi files from $(DOCNAME).texi @@ -69,11 +79,11 @@ doc: dvi info ## all: dvi ps html info -dvi: $(DOCNAME).dvi +dvi: ProofGeneral.eps $(DOCNAME).dvi ps: $(DOCNAME).ps pdf: $(DOCNAME).pdf html: $(DOCNAME).html -info: $(DOCNAME).info +info: ProofGeneral.txt $(DOCNAME).info # NB: for info, could make localdir automatically from # START-INFO-DIR-ENTRY / END-INFO-DIR-ENTRY. @@ -83,6 +93,7 @@ info: $(DOCNAME).info ## clean: Remove subsidiary documentation files ## clean: + rm -f ProofGeneral.txt ProofGeneral.eps rm -f $(DOCNAME).?? $(DOCNAME).fns $(DOCNAME).vrs $(DOCNAME).cps rm -f $(DOCNAME).aux $(DOCNAME).log $(DOCNAME).toc $(DOCNAME).cp0 rm -f $(DOCNAME).kys |