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