doc-src/Intro/Makefile
author wenzelm
Thu Feb 20 14:59:02 1997 +0100 (1997-02-20)
changeset 2656 71097a167f0b
parent 1053 a19fbe807f91
child 2663 3ca200d880f4
permissions -rw-r--r--
made a bit more robust;
lcp@603
     1
#  $Id$
lcp@603
     2
#########################################################################
lcp@603
     3
#									#
lcp@603
     4
#	Makefile for the report "Introduction to Isabelle"		#
lcp@603
     5
#									#
lcp@603
     6
#########################################################################
lcp@603
     7
lcp@603
     8
lcp@603
     9
FILES =  intro.tex foundations.tex getting.tex advanced.tex \
wenzelm@2656
    10
	 ../proof209.sty ../iman.sty ../extra.sty
lcp@603
    11
wenzelm@2656
    12
intro.dvi:   $(FILES) 
wenzelm@2656
    13
	-rm intro.dvi*
lcp@603
    14
	latex209 intro
wenzelm@2656
    15
	-test -f string.bib && bibtex intro
lcp@603
    16
	latex209 intro
lcp@603
    17
	latex209 intro
lcp@603
    18
	../sedindex intro
lcp@603
    19
	latex209 intro
wenzelm@2656
    20
wenzelm@2656
    21
intro.dvi.gz: intro.dvi
lcp@603
    22
	gzip -f intro.dvi