author | wenzelm |
Wed, 05 May 1999 18:07:38 +0200 | |
changeset 6593 | 62204772812f |
child 6596 | d44dd0b564c4 |
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 *.bbl *.ind *.blg OUTPUT = *.dvi *.pdf *.ps ## actions nothing: clean: @rm -f $(GARBAGE) veryclean: @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/$* .