Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/Intro/Makefile
author berghofe
Fri, 24 Jul 1998 13:19:38 +0200
changeset 5184 9b8547a9496a
parent 5170 33fbffd06c12
child 5374 6ef3742b6153
permissions -rw-r--r--
Adapted to new datatype package.

#  $Id$
#########################################################################
#									#
#	Makefile for the report "Introduction to Isabelle"		#
#									#
#########################################################################


FILES =  intro.tex foundations.tex getting.tex advanced.tex \
	 ../proof.sty ../iman.sty ../extra.sty

intro.dvi.gz:   $(FILES)
	@ln -sf ../isabelle.eps .
	-rm intro.dvi*
	latex intro
	bibtex intro
	latex intro
	latex intro
	../sedindex intro
	latex intro
	gzip -f intro.dvi

dist:   $(FILES)
	@ln -sf ../isabelle.eps .
	-rm intro.dvi*
	latex intro
	latex intro
	../sedindex intro
	latex intro

clean:
	@rm *.aux *.log *.toc *.idx
isabelle