doc-src/System/Makefile
author wenzelm
Mon May 12 18:34:49 1997 +0200 (1997-05-12)
changeset 3172 629d63c74ddc
parent 3170 0b3ff84bab29
child 5170 33fbffd06c12
permissions -rw-r--r--
*** empty log message ***
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
	latex system
wenzelm@3170
    16
	../sedindex system
wenzelm@3170
    17
	latex system
wenzelm@3170
    18
	gzip -f system.dvi
wenzelm@3170
    19
wenzelm@3170
    20
dist:   $(FILES) 
wenzelm@3170
    21
	-rm system.dvi*
wenzelm@3170
    22
	latex system
wenzelm@3170
    23
	latex system
wenzelm@3170
    24
	../sedindex system
wenzelm@3170
    25
	latex system
wenzelm@3170
    26
wenzelm@3170
    27
clean:
wenzelm@3170
    28
	@rm *.aux *.log *.toc *.idx