Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
doc-src/Makefile.in
author Walther Neuper <neuper@ist.tugraz.at>
Thu, 12 Aug 2010 15:03:34 +0200
branchisac-from-Isabelle2009-2
changeset 37913 20e3616b2d9c
parent 36918 90bb12cf8e36
child 43500 f61ac1573ee6
permissions -rw-r--r--
prepare reactivation of isac-update-Isa09-2 
     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 *.lof

    17 DEFAULT_OUTPUT = *.dvi *.pdf *.ps

    18 GARBAGE =

    19 OUTPUT =

    20 

    21 ## special targets

    22 

    23 .DELETE_ON_ERROR:

    24 

    25 ## actions

    26 

    27 nothing:

    28 

    29 clean:

    30 	@rm -f $(DEFAULT_GARBAGE) $(GARBAGE)

    31 

    32 mrproper:

    33 	@rm -f $(DEFAULT_GARBAGE) $(DEFAULT_OUTPUT) $(GARBAGE) $(OUTPUT)

    34 

    35 

    36 isabelle.eps:

    37 	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .

    38 

    39 isabelle_isar.eps:

    40 	test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.eps .

    41 

    42 isabelle_hol.eps:

    43 	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .

    44 

    45 isabelle_zf.eps:

    46 	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .

    47 

    48 isabelle_nitpick.eps:

    49 	test -r isabelle_nitpick.eps || ln -s ../gfx/isabelle_nitpick.eps .

    50 

    51 isabelle_sledgehammer.eps:

    52 	test -r isabelle_sledgehammer.eps || ln -s ../gfx/isabelle_sledgehammer.eps .

    53 

    54 

    55 isabelle.pdf:

    56 	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .

    57 

    58 isabelle_isar.pdf:

    59 	test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .

    60 

    61 isabelle_hol.pdf:

    62 	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .

    63 

    64 isabelle_zf.pdf:

    65 	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .

    66 

    67 isabelle_nitpick.pdf:

    68 	test -r isabelle_nitpick.pdf || ln -s ../gfx/isabelle_nitpick.pdf .

    69 

    70 isabelle_sledgehammer.pdf:

    71 	test -r isabelle_sledgehammer.pdf || ln -s ../gfx/isabelle_sledgehammer.pdf .

    72 

    73 typedef.ps:

    74 	test -r typedef.ps || ln -s ../gfx/typedef.ps .

    75 

    76 typedef.pdf:

    77 	test -r typedef.pdf || ln -s ../gfx/typedef.pdf .
wneuper/isa