wneuper/isa: doc-src/Makefile.in@2d56911d7329

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

    13 SEDINDEX = ../sedindex

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

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

    17 OUTPUT = *.dvi *.pdf *.ps

    20 ## actions

    22 nothing:

    24 clean:

    25 	@rm -f $(GARBAGE)

    27 mrproper:

    28 	@rm -f $(OUTPUT) $(GARBAGE)

    30 isabelle.eps:

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

    33 isabelle_hol.eps:

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

    36 isabelle_zf.eps:

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

    39 isabelle.pdf:

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

    42 isabelle_hol.pdf:

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

    45 isabelle_zf.pdf:

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

author	wenzelm
	Fri, 07 May 1999 17:50:43 +0200
changeset 6617	2d56911d7329
parent 6612	e1b7b76bc197
child 7042	94ef4859c6da
permissions	-rw-r--r--