doc-src/Makefile.in
changeset 6612 e1b7b76bc197
parent 6604 d646567156c3
child 6617 2d56911d7329
equal deleted inserted replaced
6611:08dfd050b373 6612:e1b7b76bc197
     5 #
     5 #
     6 
     6 
     7 ## settings
     7 ## settings
     8 
     8 
     9 LATEX = latex
     9 LATEX = latex
       
    10 PDFLATEX = pdflatex
    10 BIBTEX = bibtex
    11 BIBTEX = bibtex
    11 RAIL = rail
    12 RAIL = rail
    12 SEDINDEX = ../sedindex
    13 SEDINDEX = ../sedindex
       
    14 FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
    13 
    15 
    14 GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg *.out
    16 GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg *.out
    15 OUTPUT = *.dvi *.pdf *.ps
    17 OUTPUT = *.dvi *.pdf *.ps
    16 
    18 
    17 
    19 
    24 
    26 
    25 mrproper:
    27 mrproper:
    26 	@rm -f $(OUTPUT) $(GARBAGE)
    28 	@rm -f $(OUTPUT) $(GARBAGE)
    27 
    29 
    28 isabelle.eps:
    30 isabelle.eps:
    29 	test -r $* || ln -s ../gfx/$* .
    31 	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    30 
    32 
    31 isabelle_hol.eps:
    33 isabelle_hol.eps:
    32 	test -r $* || ln -s ../gfx/$* .
    34 	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
    33 
    35 
    34 isabelle_zf.eps:
    36 isabelle_zf.eps:
    35 	test -r $* || ln -s ../gfx/$* .
    37 	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
       
    38 
       
    39 isabelle.png:
       
    40 	test -r isabelle.png || ln -s ../gfx/isabelle.png .
       
    41 
       
    42 isabelle_hol.png:
       
    43 	test -r isabelle_hol.png || ln -s ../gfx/isabelle_hol.png .
       
    44 
       
    45 isabelle_zf.png:
       
    46 	test -r isabelle_zf.png || ln -s ../gfx/isabelle_zf.png .