wneuper/isa: doc-src/HOL/Makefile@27d6e5d6a4a6

     1 #  $Id$

     2 #########################################################################

     3 #									#

     4 #	Makefile for the report "Isabelle's Logics: HOL"		#

     5 #									#

     6 #########################################################################

     9 FILES =  logics-HOL.tex ../Logics/syntax.tex HOL.tex \

    10 	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty

    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

    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

    32 clean:

    33 	@rm *.aux *.log *.toc *.idx *.rai

author	wenzelm
	Tue, 04 May 1999 18:04:45 +0200
changeset 6581	27d6e5d6a4a6
parent 6580	ff2c3ffd38ee
child 6594	fe2f5024f89e
permissions	-rw-r--r--