isabelle: doc-src/HOL/Makefile@ff2c3ffd38ee (annotated)

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

author	wenzelm
	Tue, 04 May 1999 18:03:56 +0200
changeset 6580	ff2c3ffd38ee
child 6581	27d6e5d6a4a6
permissions	-rw-r--r--