doc-src/Makefile.in
author wenzelm
Wed Dec 06 12:26:26 2000 +0100 (2000-12-06)
changeset 10604 9bb2e34df0cd
parent 8826 d7ad3ca77685
child 12677 73c070d5c031
permissions -rw-r--r--
tuned;
     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 -a
    13 SEDINDEX = ../sedindex
    14 FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
    15 
    16 DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out
    17 DEFAULT_OUTPUT = *.dvi *.pdf *.ps
    18 GARBAGE =
    19 OUTPUT =
    20 
    21 
    22 ## actions
    23 
    24 nothing:
    25 
    26 clean:
    27 	@rm -f $(DEFAULT_GARBAGE) $(GARBAGE)
    28 
    29 mrproper:
    30 	@rm -f $(DEFAULT_GARBAGE) $(DEFAULT_OUTPUT) $(GARBAGE) $(OUTPUT)
    31 
    32 
    33 isabelle.eps:
    34 	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    35 
    36 isabelle_isar.eps:
    37 	test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.eps .
    38 
    39 isabelle_hol.eps:
    40 	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
    41 
    42 isabelle_zf.eps:
    43 	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
    44 
    45 
    46 isabelle.pdf:
    47 	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
    48 
    49 isabelle_isar.pdf:
    50 	test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
    51 
    52 isabelle_hol.pdf:
    53 	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
    54 
    55 isabelle_zf.pdf:
    56 	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .