doc-src/System/Makefile
author wenzelm
Mon May 12 18:26:53 1997 +0200 (1997-05-12)
changeset 3170 0b3ff84bab29
child 3172 629d63c74ddc
permissions -rw-r--r--
The Isabelle System Manual;
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
	rail system
wenzelm@3170
    16
	bibtex system
wenzelm@3170
    17
	latex system
wenzelm@3170
    18
	latex system
wenzelm@3170
    19
	../sedindex system
wenzelm@3170
    20
	latex system
wenzelm@3170
    21
	gzip -f system.dvi
wenzelm@3170
    22
wenzelm@3170
    23
dist:   $(FILES) 
wenzelm@3170
    24
	-rm system.dvi*
wenzelm@3170
    25
	latex system
wenzelm@3170
    26
	latex system
wenzelm@3170
    27
	../sedindex system
wenzelm@3170
    28
	latex system
wenzelm@3170
    29
wenzelm@3170
    30
clean:
wenzelm@3170
    31
	@rm *.aux *.log *.toc *.idx