wneuper/isa: doc-src/Makefile.in@73c070d5c031

1 #

     2 # $Id$

3 #

     4 # Common part for Doc Makefiles

5 #

     7 ## settings

     9 LATEX = latex

    10 PDFLATEX = pdflatex

    11 BIBTEX = bibtex

    12 RAIL = rail -a

    13 SEDINDEX = ../sedindex

    14 FIXBOOKMARKS = perl -pi ../fixbookmarks.pl

    16 DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out

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

    18 GARBAGE =

    19 OUTPUT =

    22 ## actions

    24 nothing:

    26 clean:

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

    29 mrproper:

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

    33 isabelle.eps:

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

    36 isabelle_isar.eps:

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

    39 isabelle_hol.eps:

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

    42 isabelle_zf.eps:

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

    46 isabelle.pdf:

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

    49 isabelle_isar.pdf:

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

    52 isabelle_hol.pdf:

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

    55 isabelle_zf.pdf:

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

    58 typedef.ps:

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

    61 typedef.pdf:

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

author	wenzelm
	Tue, 08 Jan 2002 20:52:46 +0100
changeset 12677	73c070d5c031
parent 10604	9bb2e34df0cd
child 15646	b45393fb38c0
permissions	-rw-r--r--