equal
deleted
inserted
replaced
10 |
10 |
11 NAME = codegen |
11 NAME = codegen |
12 |
12 |
13 FILES = $(NAME).tex Thy/document/*.tex \ |
13 FILES = $(NAME).tex Thy/document/*.tex \ |
14 style.sty ../iman.sty ../extra.sty ../isar.sty \ |
14 style.sty ../iman.sty ../extra.sty ../isar.sty \ |
15 ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty \ |
15 ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty \ |
16 ../manual.bib ../proof.sty |
16 ../manual.bib ../proof.sty |
17 |
17 |
18 dvi: $(NAME).dvi |
18 dvi: $(NAME).dvi |
19 |
19 |
20 $(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaptation.eps |
20 $(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaptation.eps |