doc-src/Logics/Makefile
author wenzelm
Mon, 12 May 1997 17:15:36 +0200
changeset 3164 ddb0b1fdfdea
parent 3096 ccc2c92bb232
child 5170 33fbffd06c12
permissions -rw-r--r--
added 'clean';
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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