wenzelm@6593: #
wenzelm@6593: # $Id$
wenzelm@6593: #
wenzelm@6593: # Common part for Doc Makefiles
wenzelm@6593: #
wenzelm@6593: 
wenzelm@6593: ## settings
wenzelm@6593: 
wenzelm@6593: LATEX = latex
wenzelm@6612: PDFLATEX = pdflatex
wenzelm@6593: BIBTEX = bibtex
wenzelm@7071: RAIL = rail -a
wenzelm@6593: SEDINDEX = ../sedindex
wenzelm@6612: FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
wenzelm@6593: 
wenzelm@28954: DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out *.lof
wenzelm@10604: DEFAULT_OUTPUT = *.dvi *.pdf *.ps
wenzelm@10604: GARBAGE =
wenzelm@10604: OUTPUT =
wenzelm@6593: 
gagern@15646: ## special targets
gagern@15646: 
gagern@15646: .DELETE_ON_ERROR:
wenzelm@6593: 
wenzelm@6593: ## actions
wenzelm@6593: 
wenzelm@6593: nothing:
wenzelm@6593: 
wenzelm@6593: clean:
wenzelm@10604: 	@rm -f $(DEFAULT_GARBAGE) $(GARBAGE)
wenzelm@6593: 
wenzelm@6604: mrproper:
wenzelm@10604: 	@rm -f $(DEFAULT_GARBAGE) $(DEFAULT_OUTPUT) $(GARBAGE) $(OUTPUT)
wenzelm@6593: 
wenzelm@7042: 
wenzelm@6593: isabelle.eps:
wenzelm@6612: 	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
wenzelm@6593: 
wenzelm@7042: isabelle_isar.eps:
wenzelm@7042: 	test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.eps .
wenzelm@7042: 
wenzelm@6593: isabelle_hol.eps:
wenzelm@6612: 	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
wenzelm@6593: 
wenzelm@6593: isabelle_zf.eps:
wenzelm@6612: 	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
wenzelm@6612: 
blanchet@33191: isabelle_nitpick.eps:
blanchet@33191: 	test -r isabelle_nitpick.eps || ln -s ../gfx/isabelle_nitpick.eps .
blanchet@33191: 
blanchet@36918: isabelle_sledgehammer.eps:
blanchet@36918: 	test -r isabelle_sledgehammer.eps || ln -s ../gfx/isabelle_sledgehammer.eps .
blanchet@36918: 
wenzelm@7042: 
wenzelm@6617: isabelle.pdf:
wenzelm@6617: 	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
wenzelm@6612: 
wenzelm@7042: isabelle_isar.pdf:
wenzelm@7042: 	test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
wenzelm@7042: 
wenzelm@6617: isabelle_hol.pdf:
wenzelm@6617: 	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
wenzelm@6612: 
wenzelm@6617: isabelle_zf.pdf:
wenzelm@6617: 	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
wenzelm@12677: 
blanchet@33191: isabelle_nitpick.pdf:
blanchet@33191: 	test -r isabelle_nitpick.pdf || ln -s ../gfx/isabelle_nitpick.pdf .
blanchet@33191: 
blanchet@36918: isabelle_sledgehammer.pdf:
blanchet@36918: 	test -r isabelle_sledgehammer.pdf || ln -s ../gfx/isabelle_sledgehammer.pdf .
blanchet@36918: 
wenzelm@12677: typedef.ps:
wenzelm@12677: 	test -r typedef.ps || ln -s ../gfx/typedef.ps .
wenzelm@12677: 
wenzelm@12677: typedef.pdf:
wenzelm@12677: 	test -r typedef.pdf || ln -s ../gfx/typedef.pdf .