tuned;
authorwenzelm
Thu May 06 19:04:44 1999 +0200 (1999-05-06)
changeset 6612e1b7b76bc197
parent 6611 08dfd050b373
child 6613 250a0ca35ef5
tuned;
doc-src/Makefile.in
     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 .