doc-src/System/Makefile
author wenzelm
Tue Jul 21 16:41:12 1998 +0200 (1998-07-21)
changeset 5170 33fbffd06c12
parent 3172 629d63c74ddc
child 5374 6ef3742b6153
permissions -rw-r--r--
fixed isabelle logo;
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@5170
    13
	@ln -sf ../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@5170
    22
	@ln -sf ../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