doc-src/Inductive/Makefile
author wenzelm
Mon, 10 May 1999 17:44:17 +0200
changeset 6629 6edc66a9d80b
parent 3165 80818995eb76
child 6637 57abed64dc14
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3162
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
     1
#  $Id$
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
     2
#########################################################################
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
     3
#									#
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
     4
#	Makefile for the report "A Fixedpoint Approach ..."		#
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
     5
#									#
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
     6
#########################################################################
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
     7
6629
wenzelm
parents: 3165
diff changeset
     8
dvi: dist
wenzelm
parents: 3165
diff changeset
     9
wenzelm
parents: 3165
diff changeset
    10
pdf:
3162
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
    11
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
    12
FILES =  ind-defs.tex ../proof.sty ../iman.sty ../extra.sty
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
    13
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
    14
ind-defs.dvi.gz:   $(FILES) 
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
    15
	-rm ind-defs.dvi.gz
3165
80818995eb76 'dist', 'clean';
wenzelm
parents: 3162
diff changeset
    16
	latex ind-defs
3162
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
    17
	bibtex ind-defs
3165
80818995eb76 'dist', 'clean';
wenzelm
parents: 3162
diff changeset
    18
	latex ind-defs
80818995eb76 'dist', 'clean';
wenzelm
parents: 3162
diff changeset
    19
	latex ind-defs
3162
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
    20
	gzip -f ind-defs.dvi
3165
80818995eb76 'dist', 'clean';
wenzelm
parents: 3162
diff changeset
    21
80818995eb76 'dist', 'clean';
wenzelm
parents: 3162
diff changeset
    22
dist:   $(FILES) 
80818995eb76 'dist', 'clean';
wenzelm
parents: 3162
diff changeset
    23
	-rm ind-defs.dvi*
80818995eb76 'dist', 'clean';
wenzelm
parents: 3162
diff changeset
    24
	latex ind-defs
80818995eb76 'dist', 'clean';
wenzelm
parents: 3162
diff changeset
    25
	latex ind-defs
80818995eb76 'dist', 'clean';
wenzelm
parents: 3162
diff changeset
    26
80818995eb76 'dist', 'clean';
wenzelm
parents: 3162
diff changeset
    27
clean:
80818995eb76 'dist', 'clean';
wenzelm
parents: 3162
diff changeset
    28
	@rm *.aux *.log *.toc
80818995eb76 'dist', 'clean';
wenzelm
parents: 3162
diff changeset
    29