doc-src/Logics/Makefile
author wenzelm
Tue, 04 May 1999 18:55:43 +0200
changeset 6585 d5eae11efa42
parent 6072 5583261db33d
child 6597 56ff27255ac8
permissions -rw-r--r--
removed HOL.tex;
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
6585
d5eae11efa42 removed HOL.tex;
wenzelm
parents: 6072
diff changeset
     9
FILES =  logics.tex preface.tex syntax.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