isabelle: doc-src/Logics/Makefile@33fbffd06c12 (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)
5170 33fbffd06c12 fixed isabelle logo; wenzelm parents: 3164 diff changeset	13	@ln -sf ../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)
5170 33fbffd06c12 fixed isabelle logo; wenzelm parents: 3164 diff changeset	25	@ln -sf ../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	wenzelm
	Tue, 21 Jul 1998 16:41:12 +0200
changeset 5170	33fbffd06c12
parent 3164	ddb0b1fdfdea
child 5374	6ef3742b6153
permissions	-rw-r--r--