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@6593: BIBTEX = bibtex
wenzelm@6593: RAIL = rail
wenzelm@6593: SEDINDEX = ../sedindex
wenzelm@6593: 
wenzelm@6596: GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg
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@6593: veryclean:
wenzelm@6593: 	@rm -f $(OUTPUT) $(GARBAGE)
wenzelm@6593: 
wenzelm@6593: isabelle.eps:
wenzelm@6593: 	test -r $* || ln -s ../gfx/$* .
wenzelm@6593: 
wenzelm@6593: isabelle_hol.eps:
wenzelm@6593: 	test -r $* || ln -s ../gfx/$* .
wenzelm@6593: 
wenzelm@6593: isabelle_zf.eps:
wenzelm@6593: 	test -r $* || ln -s ../gfx/$* .