doc-src/System/Makefile
author paulson
Fri, 27 Nov 1998 13:13:22 +0100
changeset 5980 2e9314c07146
parent 5548 5cd3396802f5
child 6600 5a94bd71cc41
permissions -rw-r--r--
added Real/Hyperreal
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
5170
33fbffd06c12 fixed isabelle logo;
wenzelm
parents: 3172
diff changeset
    12
system.dvi.gz:   $(FILES)
5548
5cd3396802f5 workaround for litte bug in our ln command
oheimb
parents: 5374
diff changeset
    13
	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    14
	-rm system.dvi*
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    15
	latex system
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    16
	latex system
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    17
	../sedindex system
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    18
	latex system
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    19
	gzip -f system.dvi
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    20
5170
33fbffd06c12 fixed isabelle logo;
wenzelm
parents: 3172
diff changeset
    21
dist:   $(FILES)
5548
5cd3396802f5 workaround for litte bug in our ln command
oheimb
parents: 5374
diff changeset
    22
	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    23
	-rm system.dvi*
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    24
	latex system
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    25
	latex system
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    26
	../sedindex system
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    27
	latex system
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    28
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    29
clean:
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    30
	@rm *.aux *.log *.toc *.idx