1.1 --- a/doc-src/Makefile.in Thu May 06 19:04:20 1999 +0200
1.2 +++ b/doc-src/Makefile.in Thu May 06 19:04:44 1999 +0200
1.3 @@ -7,9 +7,11 @@
1.4 ## settings
1.5
1.6 LATEX = latex
1.7 +PDFLATEX = pdflatex
1.8 BIBTEX = bibtex
1.9 RAIL = rail
1.10 SEDINDEX = ../sedindex
1.11 +FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
1.12
1.13 GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg *.out
1.14 OUTPUT = *.dvi *.pdf *.ps
1.15 @@ -26,10 +28,19 @@
1.16 @rm -f $(OUTPUT) $(GARBAGE)
1.17
1.18 isabelle.eps:
1.19 - test -r $* || ln -s ../gfx/$* .
1.20 + test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
1.21
1.22 isabelle_hol.eps:
1.23 - test -r $* || ln -s ../gfx/$* .
1.24 + test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
1.25
1.26 isabelle_zf.eps:
1.27 - test -r $* || ln -s ../gfx/$* .
1.28 + test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
1.29 +
1.30 +isabelle.png:
1.31 + test -r isabelle.png || ln -s ../gfx/isabelle.png .
1.32 +
1.33 +isabelle_hol.png:
1.34 + test -r isabelle_hol.png || ln -s ../gfx/isabelle_hol.png .
1.35 +
1.36 +isabelle_zf.png:
1.37 + test -r isabelle_zf.png || ln -s ../gfx/isabelle_zf.png .