author | wenzelm |
Mon, 12 May 1997 18:34:49 +0200 | |
changeset 3172 | 629d63c74ddc |
parent 3170 | 0b3ff84bab29 |
child 5170 | 33fbffd06c12 |
permissions | -rw-r--r-- |
wenzelm@3170 | 1 |
# $Id$ |
wenzelm@3170 | 2 |
######################################################################### |
wenzelm@3170 | 3 |
# # |
wenzelm@3170 | 4 |
# Makefile for the report "The Isabelle System Manual" # |
wenzelm@3170 | 5 |
# # |
wenzelm@3170 | 6 |
######################################################################### |
wenzelm@3170 | 7 |
|
wenzelm@3170 | 8 |
|
wenzelm@3170 | 9 |
FILES = system.tex \ |
wenzelm@3170 | 10 |
../iman.sty ../extra.sty |
wenzelm@3170 | 11 |
|
wenzelm@3170 | 12 |
system.dvi.gz: $(FILES) |
wenzelm@3170 | 13 |
-rm system.dvi* |
wenzelm@3170 | 14 |
latex system |
wenzelm@3170 | 15 |
latex system |
wenzelm@3170 | 16 |
../sedindex system |
wenzelm@3170 | 17 |
latex system |
wenzelm@3170 | 18 |
gzip -f system.dvi |
wenzelm@3170 | 19 |
|
wenzelm@3170 | 20 |
dist: $(FILES) |
wenzelm@3170 | 21 |
-rm system.dvi* |
wenzelm@3170 | 22 |
latex system |
wenzelm@3170 | 23 |
latex system |
wenzelm@3170 | 24 |
../sedindex system |
wenzelm@3170 | 25 |
latex system |
wenzelm@3170 | 26 |
|
wenzelm@3170 | 27 |
clean: |
wenzelm@3170 | 28 |
@rm *.aux *.log *.toc *.idx |