isabelle: doc-src/Logics/Makefile@3472fa00b1d4 (annotated)

605 4da7bd70afe2 New Makefile for Logics Manual lcp parents: diff changeset	1	# $Id$
4da7bd70afe2 New Makefile for Logics Manual lcp parents: diff changeset	2	#########################################################################
4da7bd70afe2 New Makefile for Logics Manual lcp parents: diff changeset	3	# #
4da7bd70afe2 New Makefile for Logics Manual lcp parents: diff changeset	4	# Makefile for the report "Isabelle's Object-Logics" #
4da7bd70afe2 New Makefile for Logics Manual lcp parents: diff changeset	5	# #
4da7bd70afe2 New Makefile for Logics Manual lcp parents: diff changeset	6	#########################################################################
4da7bd70afe2 New Makefile for Logics Manual lcp parents: diff changeset	7
4da7bd70afe2 New Makefile for Logics Manual lcp parents: diff changeset	8
1226 e9c01f251f5d Handle renaming of CHOL.tex to HOL.tex paulson parents: 1163 diff changeset	9	FILES = logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2661 diff changeset	10	../rail.sty ../proof.sty ../iman.sty ../extra.sty
605 4da7bd70afe2 New Makefile for Logics Manual lcp parents: diff changeset	11
4da7bd70afe2 New Makefile for Logics Manual lcp parents: diff changeset	12	logics.dvi.gz: $(FILES)
2661 366190b74832 made a bit more robust for 'make dist'; wenzelm parents: 1683 diff changeset	13	-rm logics.dvi*
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2661 diff changeset	14	latex logics
1683 a5bcaf5894f3 Now calls "rail" to update datatype syntax charts paulson parents: 1226 diff changeset	15	rail logics
605 4da7bd70afe2 New Makefile for Logics Manual lcp parents: diff changeset	16	bibtex logics
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2661 diff changeset	17	latex logics
ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2661 diff changeset	18	latex logics
605 4da7bd70afe2 New Makefile for Logics Manual lcp parents: diff changeset	19	../sedindex logics
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2661 diff changeset	20	latex logics
605 4da7bd70afe2 New Makefile for Logics Manual lcp parents: diff changeset	21	gzip -f logics.dvi
2661 366190b74832 made a bit more robust for 'make dist'; wenzelm parents: 1683 diff changeset	22
366190b74832 made a bit more robust for 'make dist'; wenzelm parents: 1683 diff changeset	23	dist: $(FILES)
366190b74832 made a bit more robust for 'make dist'; wenzelm parents: 1683 diff changeset	24	-rm logics.dvi*
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2661 diff changeset	25	latex logics
ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2661 diff changeset	26	latex logics
2661 366190b74832 made a bit more robust for 'make dist'; wenzelm parents: 1683 diff changeset	27	../sedindex logics
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2661 diff changeset	28	latex logics
3164 ddb0b1fdfdea added 'clean'; wenzelm parents: 3096 diff changeset	29
ddb0b1fdfdea added 'clean'; wenzelm parents: 3096 diff changeset	30	clean:
ddb0b1fdfdea added 'clean'; wenzelm parents: 3096 diff changeset	31	@rm .aux .log .toc .idx *.rai
ddb0b1fdfdea added 'clean'; wenzelm parents: 3096 diff changeset	32

author	wenzelm
	Thu, 26 Jun 1997 11:14:46 +0200
changeset 3462	3472fa00b1d4
parent 3164	ddb0b1fdfdea
child 5170	33fbffd06c12
permissions	-rw-r--r--