# $Id$
#########################################################################
# #
# Makefile for the report "The Isabelle System Manual" #
# #
#########################################################################
FILES = system.tex \
../iman.sty ../extra.sty
system.dvi.gz: $(FILES)
-rm system.dvi*
latex system
latex system
../sedindex system
latex system
gzip -f system.dvi
dist: $(FILES)
-rm system.dvi*
latex system
latex system
../sedindex system
latex system
clean:
@rm *.aux *.log *.toc *.idx