doc-src/HOL/Makefile
changeset 6580 ff2c3ffd38ee
child 6581 27d6e5d6a4a6
equal deleted inserted replaced
6579:d0c6bb2577b1 6580:ff2c3ffd38ee
       
     1 #  $Id$
       
     2 #########################################################################
       
     3 #									#
       
     4 #	Makefile for the report "Isabelle's Logics: HOL"		#
       
     5 #									#
       
     6 #########################################################################
       
     7 
       
     8 
       
     9 FILES =  logics-HOL.tex ../Logics/syntax.tex FOL.tex HOL.tex\
       
    10 	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
       
    11 
       
    12 logics-HOL.dvi.gz:   $(FILES) 
       
    13 	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
       
    14 	-rm logics-HOL.dvi*
       
    15 	latex logics-HOL
       
    16 	rail logics-HOL
       
    17 	bibtex logics-HOL
       
    18 	latex logics-HOL
       
    19 	latex logics-HOL
       
    20 	../sedindex logics-HOL
       
    21 	latex logics-HOL
       
    22 	gzip -f logics-HOL.dvi
       
    23 
       
    24 dist:   $(FILES) 
       
    25 	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
       
    26 	-rm logics-HOL.dvi*
       
    27 	latex logics-HOL
       
    28 	latex logics-HOL
       
    29 	../sedindex logics-HOL
       
    30 	latex logics-HOL
       
    31 
       
    32 clean:
       
    33 	@rm *.aux *.log *.toc *.idx *.rai
       
    34