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