doc-src/Makefile.in
author wenzelm
Mon Jul 19 16:53:31 1999 +0200 (1999-07-19)
changeset 7042 94ef4859c6da
parent 6617 2d56911d7329
child 7071 55b80ec1927d
permissions -rw-r--r--
added isabelle_isar logo;
     1 #
     2 # $Id$
     3 #
     4 # Common part for Doc Makefiles
     5 #
     6 
     7 ## settings
     8 
     9 LATEX = latex
    10 PDFLATEX = pdflatex
    11 BIBTEX = bibtex
    12 RAIL = rail
    13 SEDINDEX = ../sedindex
    14 FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
    15 
    16 GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg *.out
    17 OUTPUT = *.dvi *.pdf *.ps
    18 
    19 
    20 ## actions
    21 
    22 nothing:
    23 
    24 clean:
    25 	@rm -f $(GARBAGE)
    26 
    27 mrproper:
    28 	@rm -f $(OUTPUT) $(GARBAGE)
    29 
    30 
    31 isabelle.eps:
    32 	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    33 
    34 isabelle_isar.eps:
    35 	test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.eps .
    36 
    37 isabelle_hol.eps:
    38 	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
    39 
    40 isabelle_zf.eps:
    41 	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
    42 
    43 
    44 isabelle.pdf:
    45 	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
    46 
    47 isabelle_isar.pdf:
    48 	test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
    49 
    50 isabelle_hol.pdf:
    51 	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
    52 
    53 isabelle_zf.pdf:
    54 	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .