equal
deleted
inserted
replaced
4 # Makefile for the report "Isabelle's Object-Logics" # |
4 # Makefile for the report "Isabelle's Object-Logics" # |
5 # # |
5 # # |
6 ######################################################################### |
6 ######################################################################### |
7 |
7 |
8 |
8 |
9 FILES = logics.tex intro.tex FOL.tex ZF.tex CHOL.tex LK.tex CTT.tex\ |
9 FILES = logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\ |
10 ../iman.sty ../extra.sty |
10 ../iman.sty ../extra.sty |
11 |
11 |
12 logics.dvi.gz: $(FILES) |
12 logics.dvi.gz: $(FILES) |
13 -rm logics.dvi.gz |
13 -rm logics.dvi.gz |
14 latex209 logics |
14 latex209 logics |