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@6593: RAIL = rail
wenzelm@6593: SEDINDEX = ../sedindex
wenzelm@6612: FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
wenzelm@6593: 
wenzelm@6604: GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg *.out
wenzelm@6593: OUTPUT = *.dvi *.pdf *.ps
wenzelm@6593: 
wenzelm@6593: 
wenzelm@6593: ## actions
wenzelm@6593: 
wenzelm@6593: nothing:
wenzelm@6593: 
wenzelm@6593: clean:
wenzelm@6593: 	@rm -f $(GARBAGE)
wenzelm@6593: 
wenzelm@6604: mrproper:
wenzelm@6593: 	@rm -f $(OUTPUT) $(GARBAGE)
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: 
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 .