lcp@604: #  $Id$
lcp@604: #########################################################################
lcp@604: #									#
lcp@604: #	Makefile for the report "The Isabelle Reference Manual"		#
lcp@604: #									#
lcp@604: #########################################################################
lcp@604: 
lcp@604: 
lcp@604: FILES =  ref.tex introduction.tex goals.tex tactic.tex tctical.tex\
lcp@604:          thm.tex theories.tex defining.tex syntax.tex substitution.tex\
lcp@1111:          simplifier.tex classical.tex theory-syntax.tex\
wenzelm@2657: 	 ../proof209.sty ../iman.sty ../extra.sty
lcp@604: 
lcp@604: ref.dvi.gz:   $(FILES) 
wenzelm@2657: 	-rm ref.dvi*
lcp@604: 	latex209 ref
lcp@1111: 	rail ref
lcp@604: 	bibtex ref
lcp@604: 	latex209 ref
lcp@604: 	latex209 ref
lcp@604: 	../sedindex ref
lcp@604: 	latex209 ref
lcp@604: 	gzip -f ref.dvi
wenzelm@2657: 
wenzelm@2657: dist:   $(FILES) 
wenzelm@2657: 	-rm ref.dvi*
wenzelm@2657: 	latex209 ref
wenzelm@2657: 	latex209 ref
wenzelm@2657: 	../sedindex ref
wenzelm@2657: 	latex209 ref