doc-src/System/Makefile
author wenzelm
Thu, 17 Jul 1997 15:03:38 +0200
changeset 3524 c02cb15830de
parent 3172 629d63c74ddc
child 5170 33fbffd06c12
permissions -rw-r--r--
fixed EqI meta rule;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     1
#  $Id$
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     2
#########################################################################
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     3
#									#
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     4
#	Makefile for the report "The Isabelle System Manual"		#
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     5
#									#
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     6
#########################################################################
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     7
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     8
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     9
FILES =  system.tex \
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    10
	 ../iman.sty ../extra.sty
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    11
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    12
system.dvi.gz:   $(FILES) 
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    13
	-rm system.dvi*
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    14
	latex system
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    15
	latex system
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    16
	../sedindex system
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    17
	latex system
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    18
	gzip -f system.dvi
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    19
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    20
dist:   $(FILES) 
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    21
	-rm system.dvi*
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    22
	latex system
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    23
	latex system
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    24
	../sedindex system
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    25
	latex system
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    26
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    27
clean:
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    28
	@rm *.aux *.log *.toc *.idx