author | wenzelm |
Mon, 17 Feb 1997 13:54:24 +0100 | |
changeset 2645 | 9d3a3e62bf34 |
parent 1053 | a19fbe807f91 |
child 2656 | 71097a167f0b |
permissions | -rw-r--r-- |
# $Id$ ######################################################################### # # # Makefile for the report "Introduction to Isabelle" # # # ######################################################################### FILES = intro.tex foundations.tex getting.tex advanced.tex \ ../iman.sty ../extra.sty intro.dvi.gz: $(FILES) -rm intro.dvi.gz latex209 intro bibtex intro latex209 intro latex209 intro ../sedindex intro latex209 intro gzip -f intro.dvi