equal
deleted
inserted
replaced
4 # Makefile for the report "Isabelle's Logics: HOL" # |
4 # Makefile for the report "Isabelle's Logics: HOL" # |
5 # # |
5 # # |
6 ######################################################################### |
6 ######################################################################### |
7 |
7 |
8 |
8 |
9 FILES = logics-HOL.tex ../Logics/syntax.tex FOL.tex HOL.tex\ |
9 FILES = logics-HOL.tex ../Logics/syntax.tex HOL.tex \ |
10 ../rail.sty ../proof.sty ../iman.sty ../extra.sty |
10 ../rail.sty ../proof.sty ../iman.sty ../extra.sty |
11 |
11 |
12 logics-HOL.dvi.gz: $(FILES) |
12 logics-HOL.dvi.gz: $(FILES) |
13 test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps . |
13 test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps . |
14 -rm logics-HOL.dvi* |
14 -rm logics-HOL.dvi* |