# HG changeset patch
# User wenzelm
# Date 926010284 -7200
# Node ID e1b7b76bc197dc3546e8af34ddd02a68163bf031
# Parent  08dfd050b3731421839cfca8e47cf73384c8090b
tuned;

diff -r 08dfd050b373 -r e1b7b76bc197 doc-src/Makefile.in
--- a/doc-src/Makefile.in	Thu May 06 19:04:20 1999 +0200
+++ b/doc-src/Makefile.in	Thu May 06 19:04:44 1999 +0200
@@ -7,9 +7,11 @@
 ## settings
 
 LATEX = latex
+PDFLATEX = pdflatex
 BIBTEX = bibtex
 RAIL = rail
 SEDINDEX = ../sedindex
+FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
 
 GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg *.out
 OUTPUT = *.dvi *.pdf *.ps
@@ -26,10 +28,19 @@
 	@rm -f $(OUTPUT) $(GARBAGE)
 
 isabelle.eps:
-	test -r $* || ln -s ../gfx/$* .
+	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
 
 isabelle_hol.eps:
-	test -r $* || ln -s ../gfx/$* .
+	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
 
 isabelle_zf.eps:
-	test -r $* || ln -s ../gfx/$* .
+	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
+
+isabelle.png:
+	test -r isabelle.png || ln -s ../gfx/isabelle.png .
+
+isabelle_hol.png:
+	test -r isabelle_hol.png || ln -s ../gfx/isabelle_hol.png .
+
+isabelle_zf.png:
+	test -r isabelle_zf.png || ln -s ../gfx/isabelle_zf.png .