doc-src/System/Makefile
author oheimb
Thu Sep 24 15:36:16 1998 +0200 (1998-09-24)
changeset 5548 5cd3396802f5
parent 5374 6ef3742b6153
child 6600 5a94bd71cc41
permissions -rw-r--r--
workaround for litte bug in our ln command
     1 #  $Id$
     2 #########################################################################
     3 #									#
     4 #	Makefile for the report "The Isabelle System Manual"		#
     5 #									#
     6 #########################################################################
     7 
     8 
     9 FILES =  system.tex \
    10 	 ../iman.sty ../extra.sty
    11 
    12 system.dvi.gz:   $(FILES)
    13 	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    14 	-rm system.dvi*
    15 	latex system
    16 	latex system
    17 	../sedindex system
    18 	latex system
    19 	gzip -f system.dvi
    20 
    21 dist:   $(FILES)
    22 	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    23 	-rm system.dvi*
    24 	latex system
    25 	latex system
    26 	../sedindex system
    27 	latex system
    28 
    29 clean:
    30 	@rm *.aux *.log *.toc *.idx