| author | wenzelm |
| Wed, 26 Aug 1998 16:33:29 +0200 | |
| changeset 5374 | 6ef3742b6153 |
| parent 5170 | 33fbffd06c12 |
| child 5548 | 5cd3396802f5 |
| 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@5170 | 12 |
system.dvi.gz: $(FILES) |
| wenzelm@5374 | 13 |
@ln -sf ../gfx/isabelle.eps . |
| wenzelm@3170 | 14 |
-rm system.dvi* |
| wenzelm@3170 | 15 |
latex system |
| wenzelm@3170 | 16 |
latex system |
| wenzelm@3170 | 17 |
../sedindex system |
| wenzelm@3170 | 18 |
latex system |
| wenzelm@3170 | 19 |
gzip -f system.dvi |
| wenzelm@3170 | 20 |
|
| wenzelm@5170 | 21 |
dist: $(FILES) |
| wenzelm@5374 | 22 |
@ln -sf ../gfx/isabelle.eps . |
| wenzelm@3170 | 23 |
-rm system.dvi* |
| wenzelm@3170 | 24 |
latex system |
| wenzelm@3170 | 25 |
latex system |
| wenzelm@3170 | 26 |
../sedindex system |
| wenzelm@3170 | 27 |
latex system |
| wenzelm@3170 | 28 |
|
| wenzelm@3170 | 29 |
clean: |
| wenzelm@3170 | 30 |
@rm *.aux *.log *.toc *.idx |