doc-src/Ref/Makefile
author paulson
Fri, 27 Nov 1998 13:13:22 +0100
changeset 5980 2e9314c07146
parent 5548 5cd3396802f5
child 6600 5a94bd71cc41
permissions -rw-r--r--
added Real/Hyperreal

#  $Id$
#########################################################################
#									#
#	Makefile for the report "The Isabelle Reference Manual"		#
#									#
#########################################################################


FILES =  ref.tex introduction.tex goals.tex tactic.tex tctical.tex\
         thm.tex theories.tex defining.tex syntax.tex substitution.tex\
         simplifier.tex classical.tex theory-syntax.tex\
	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty

ref.dvi.gz:   $(FILES) 
	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
	-rm ref.dvi*
	latex ref
	rail ref
	bibtex ref
	latex ref
	latex ref
	../sedindex ref
	latex ref
	gzip -f ref.dvi

dist:   $(FILES) 
	test -f isabelle.eps || ln -s ../gfx/isabelle.eps .
	rm -f ref.dvi*
	latex ref
	latex ref
	../sedindex ref
	latex ref

clean:
	@rm *.aux *.log *.toc *.idx *.rai