isabelle: doc-src/Ref/Makefile@6ef3742b6153 (annotated)

604 df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	1	# $Id$
df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	2	#########################################################################
df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	3	# #
df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	4	# Makefile for the report "The Isabelle Reference Manual" #
df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	5	# #
df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	6	#########################################################################
df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	7
df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	8
df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	9	FILES = ref.tex introduction.tex goals.tex tactic.tex tctical.tex\
df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	10	thm.tex theories.tex defining.tex syntax.tex substitution.tex\
1111 ba34f9764816 Calls 'rail' program for syntax diagrams lcp parents: 1053 diff changeset	11	simplifier.tex classical.tex theory-syntax.tex\
3098 a31170b67367 Updated to LaTeX 2e berghofe parents: 2659 diff changeset	12	../rail.sty ../proof.sty ../iman.sty ../extra.sty
604 df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	13
df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	14	ref.dvi.gz: $(FILES)
5374 6ef3742b6153 moved images to gfx dir; wenzelm parents: 5170 diff changeset	15	@ln -sf ../gfx/isabelle.eps .
2657 448bb82c4003 rail output; wenzelm parents: 1111 diff changeset	16	-rm ref.dvi*
3098 a31170b67367 Updated to LaTeX 2e berghofe parents: 2659 diff changeset	17	latex ref
1111 ba34f9764816 Calls 'rail' program for syntax diagrams lcp parents: 1053 diff changeset	18	rail ref
604 df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	19	bibtex ref
3098 a31170b67367 Updated to LaTeX 2e berghofe parents: 2659 diff changeset	20	latex ref
a31170b67367 Updated to LaTeX 2e berghofe parents: 2659 diff changeset	21	latex ref
604 df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	22	../sedindex ref
3098 a31170b67367 Updated to LaTeX 2e berghofe parents: 2659 diff changeset	23	latex ref
604 df621b2535aa New Makefile for Reference Manual lcp parents: diff changeset	24	gzip -f ref.dvi
2657 448bb82c4003 rail output; wenzelm parents: 1111 diff changeset	25
448bb82c4003 rail output; wenzelm parents: 1111 diff changeset	26	dist: $(FILES)
5374 6ef3742b6153 moved images to gfx dir; wenzelm parents: 5170 diff changeset	27	@ln -sf ../gfx/isabelle.eps .
2657 448bb82c4003 rail output; wenzelm parents: 1111 diff changeset	28	-rm ref.dvi*
3098 a31170b67367 Updated to LaTeX 2e berghofe parents: 2659 diff changeset	29	latex ref
a31170b67367 Updated to LaTeX 2e berghofe parents: 2659 diff changeset	30	latex ref
2657 448bb82c4003 rail output; wenzelm parents: 1111 diff changeset	31	../sedindex ref
3098 a31170b67367 Updated to LaTeX 2e berghofe parents: 2659 diff changeset	32	latex ref
3164 ddb0b1fdfdea added 'clean'; wenzelm parents: 3098 diff changeset	33
ddb0b1fdfdea added 'clean'; wenzelm parents: 3098 diff changeset	34	clean:
ddb0b1fdfdea added 'clean'; wenzelm parents: 3098 diff changeset	35	@rm .aux .log .toc .idx *.rai

author	wenzelm
	Wed, 26 Aug 1998 16:33:29 +0200
changeset 5374	6ef3742b6153
parent 5170	33fbffd06c12
child 5543	f457121ff50c
permissions	-rw-r--r--