doc-src/Makefile.in
author wenzelm
Wed Jul 25 12:38:54 2012 +0200 (2012-07-25)
changeset 48497 ba61aceaa18a
parent 42634 79eedd233e03
child 48938 d468d72a458f
permissions -rw-r--r--
some updates on "Building a repository version of Isabelle";
     1 #
     2 # Common part for Doc Makefiles
     3 #
     4 
     5 ## settings
     6 
     7 LATEX = latex
     8 PDFLATEX = pdflatex
     9 BIBTEX = bibtex
    10 SEDINDEX = ../sedindex
    11 FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
    12 
    13 DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.bbl *.ind *.ilg *.blg *.out *.lof
    14 DEFAULT_OUTPUT = *.dvi *.pdf *.ps
    15 GARBAGE =
    16 OUTPUT =
    17 
    18 ## special targets
    19 
    20 .DELETE_ON_ERROR:
    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 isabelle_nitpick.eps:
    46 	test -r isabelle_nitpick.eps || ln -s ../gfx/isabelle_nitpick.eps .
    47 
    48 isabelle_sledgehammer.eps:
    49 	test -r isabelle_sledgehammer.eps || ln -s ../gfx/isabelle_sledgehammer.eps .
    50 
    51 
    52 isabelle.pdf:
    53 	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
    54 
    55 isabelle_isar.pdf:
    56 	test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
    57 
    58 isabelle_hol.pdf:
    59 	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
    60 
    61 isabelle_zf.pdf:
    62 	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
    63 
    64 isabelle_nitpick.pdf:
    65 	test -r isabelle_nitpick.pdf || ln -s ../gfx/isabelle_nitpick.pdf .
    66 
    67 isabelle_sledgehammer.pdf:
    68 	test -r isabelle_sledgehammer.pdf || ln -s ../gfx/isabelle_sledgehammer.pdf .
    69 
    70 typedef.ps:
    71 	test -r typedef.ps || ln -s ../gfx/typedef.ps .
    72 
    73 typedef.pdf:
    74 	test -r typedef.pdf || ln -s ../gfx/typedef.pdf .