doc-src/System/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 System Manual"		#
#									#
#########################################################################


FILES =  system.tex \
	 ../iman.sty ../extra.sty

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

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

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