diff options
| author | marche | 2003-12-12 14:15:07 +0000 |
|---|---|---|
| committer | marche | 2003-12-12 14:15:07 +0000 |
| commit | e5e298a5f0fedc1a6f884477986e1de8afbb302b (patch) | |
| tree | 9a40db534927d73c9a95507fe9e70cfed70f68c9 /doc/Makefile | |
| parent | 9ca885e2637dcb48924403df76f481d637ddd5a0 (diff) | |
coqide
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8385 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 23 |
1 files changed, 7 insertions, 16 deletions
diff --git a/doc/Makefile b/doc/Makefile index aac7fbda8f..a6f5610938 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -17,7 +17,7 @@ DOCCOQTOP=$(COQBIN)/coqtop #.byte DOCCOQC=$(COQBIN)/coqc COQTOP=`$(DOCCOQC) -where` -COQTEX=$(COQBIN)/coq-tex -image $(DOCCOQTOP) -v -sl -small +COQTEX=$(COQBIN)/coq-tex -n 72 -image $(DOCCOQTOP) -v -sl -small #COQWEBSTY=$(HOME)/lib/tex/ COQWEBSTY=/usr/share/texmf/tex/latex/misc/ HEVEALIB=/usr/local/lib/hevea @@ -48,7 +48,7 @@ COQTEXFILES= Cases.v.tex Coercion.v.tex Extraction.v.tex Program.v.tex\ REFMANFILES= Reference-Manual.tex RefMan-pre.tex RefMan-int.tex \ RefMan-pro.tex RefMan-com.tex RefMan-uti.tex RefMan-ide.tex \ - coqide.eps RefMan-add.tex RefMan-modr.tex \ + coqide.eps coqide-queries.eps RefMan-add.tex RefMan-modr.tex \ $(REFMANCOQTEXFILES) REFMAN=Reference-Manual @@ -95,10 +95,6 @@ all-html: Tutorial.v.html Reference-Manual.html # Library.html Changes.v.html version.tex: Makefile echo "\newcommand{\coqversion}{$(VERSION)}" > version.tex -#image coqide -coqide.eps: coqide.png - pngtopnm coqide.png | pnmtops -equalpixels -noturn -rle > coqide.eps - # dvips et dviselect existent sur loupiac distrib: @@ -202,7 +198,7 @@ cleanall: clean clean-html # Implicit rules ######################### -.SUFFIXES: .dvi .tex .v.tex .ps .pdf +.SUFFIXES: .dvi .tex .v.tex .ps .pdf .eps .png .tex.dvi: $(LATEX) $< @@ -218,6 +214,10 @@ cleanall: clean clean-html .dvi.ps: dvips -o $@ $< +%.eps: %.png + pngtopnm $< | pnmtops -equalpixels -noturn -rle > $@ + + ########################## # Dependencies @@ -290,22 +290,13 @@ Tutorial.v.pdf: ./title.tex Tutorial.v.tex Reference-Manual.ps: Reference-Manual.dvi Reference-Manual.dvi: $(INPUTS) $(REFMANFILES) $(COQTEXFILES) biblio.bib - #rm -f Reference-Manual.sh $(LATEX) Reference-Manual - #rm Reference-Manual.sh $(BIBTEX) Reference-Manual - $(LATEX) Reference-Manual - #rm Reference-Manual.sh - $(BIBTEX) Reference-Manual - $(LATEX) Reference-Manual - #rm Reference-Manual.sh $(MAKEINDEX) Reference-Manual $(MAKEINDEX) Reference-Manual.tacidx -o Reference-Manual.tacind $(MAKEINDEX) Reference-Manual.comidx -o Reference-Manual.comind $(MAKEINDEX) Reference-Manual.erridx -o Reference-Manual.errind $(LATEX) Reference-Manual - #rm Reference-Manual.sh - $(LATEX) Reference-Manual Reference-Manual.pdf: Reference-Manual.dvi #rm -f Reference-Manual.sh |