doc-src/Logics/Makefile
author wenzelm
Tue, 04 May 1999 18:55:43 +0200
changeset 6585 d5eae11efa42
parent 6072 5583261db33d
child 6597 56ff27255ac8
permissions -rw-r--r--
removed HOL.tex;

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


FILES =  logics.tex preface.tex syntax.tex LK.tex CTT.tex\
	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty

logics.dvi.gz:   $(FILES) 
	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
	-rm logics.dvi*
	latex logics
	rail logics
	bibtex logics
	latex logics
	latex logics
	../sedindex logics
	latex logics
	gzip -f logics.dvi

dist:   $(FILES) 
	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
	-rm logics.dvi*
	latex logics
	latex logics
	../sedindex logics
	latex logics

clean:
	@rm *.aux *.log *.toc *.idx *.rai