author | wenzelm |
Wed, 05 May 1999 18:48:32 +0200 | |
changeset 6604 | d646567156c3 |
parent 6596 | d44dd0b564c4 |
child 6612 | e1b7b76bc197 |
permissions | -rw-r--r-- |
# # $Id$ # # Common part for Doc Makefiles # ## settings LATEX = latex BIBTEX = bibtex RAIL = rail SEDINDEX = ../sedindex GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg *.out OUTPUT = *.dvi *.pdf *.ps ## actions nothing: clean: @rm -f $(GARBAGE) mrproper: @rm -f $(OUTPUT) $(GARBAGE) isabelle.eps: test -r $* || ln -s ../gfx/$* . isabelle_hol.eps: test -r $* || ln -s ../gfx/$* . isabelle_zf.eps: test -r $* || ln -s ../gfx/$* .