author | lcp |
Fri, 07 Apr 1995 10:12:01 +0200 | |
changeset 1022 | c4921e635bf7 |
parent 603 | 62b44d488af6 |
child 1053 | a19fbe807f91 |
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) latex209 intro bibtex intro latex209 intro latex209 intro ../sedindex intro latex209 intro gzip -f intro.dvi