doc-src/Logics/Makefile
author berghofe
Fri, 02 May 1997 16:18:49 +0200
changeset 3096 ccc2c92bb232
parent 2661 366190b74832
child 3164 ddb0b1fdfdea
permissions -rw-r--r--
Updated to LaTeX 2e

#  $Id$
#########################################################################
#									#
#	Makefile for the report "Isabelle's Object-Logics"		#
#									#
#########################################################################


FILES =  logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty

logics.dvi.gz:   $(FILES) 
	-rm logics.dvi*
	latex logics
	rail logics
	bibtex logics
	latex logics
	latex logics
	../sedindex logics
	latex logics
	gzip -f logics.dvi

dist:   $(FILES) 
	-rm logics.dvi*
	latex logics
	latex logics
	../sedindex logics
	latex logics