isabelle: doc-src/Logics/Makefile@2e9314c07146 (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)
5548 5cd3396802f5 workaround for litte bug in our ln command oheimb parents: 5374 diff changeset	13	test -r isabelle.eps \|\| ln -s ../gfx/isabelle.eps .
2661 366190b74832 made a bit more robust for 'make dist'; wenzelm parents: 1683 diff changeset	14	-rm logics.dvi*
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2661 diff changeset	15	latex logics
1683 a5bcaf5894f3 Now calls "rail" to update datatype syntax charts paulson parents: 1226 diff changeset	16	rail logics
605 4da7bd70afe2 New Makefile for Logics Manual lcp parents: diff changeset	17	bibtex logics
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2661 diff changeset	18	latex logics
ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2661 diff changeset	19	latex logics
605 4da7bd70afe2 New Makefile for Logics Manual lcp parents: diff changeset	20	../sedindex logics
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2661 diff changeset	21	latex logics
605 4da7bd70afe2 New Makefile for Logics Manual lcp parents: diff changeset	22	gzip -f logics.dvi
2661 366190b74832 made a bit more robust for 'make dist'; wenzelm parents: 1683 diff changeset	23
366190b74832 made a bit more robust for 'make dist'; wenzelm parents: 1683 diff changeset	24	dist: $(FILES)
5548 5cd3396802f5 workaround for litte bug in our ln command oheimb parents: 5374 diff changeset	25	test -r isabelle.eps \|\| ln -s ../gfx/isabelle.eps .
2661 366190b74832 made a bit more robust for 'make dist'; wenzelm parents: 1683 diff changeset	26	-rm logics.dvi*
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2661 diff changeset	27	latex logics
ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2661 diff changeset	28	latex logics
2661 366190b74832 made a bit more robust for 'make dist'; wenzelm parents: 1683 diff changeset	29	../sedindex logics
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2661 diff changeset	30	latex logics
3164 ddb0b1fdfdea added 'clean'; wenzelm parents: 3096 diff changeset	31
ddb0b1fdfdea added 'clean'; wenzelm parents: 3096 diff changeset	32	clean:
ddb0b1fdfdea added 'clean'; wenzelm parents: 3096 diff changeset	33	@rm .aux .log .toc .idx *.rai
ddb0b1fdfdea added 'clean'; wenzelm parents: 3096 diff changeset	34

author	paulson
	Fri, 27 Nov 1998 13:13:22 +0100
changeset 5980	2e9314c07146
parent 5548	5cd3396802f5
child 6072	5583261db33d
permissions	-rw-r--r--