equal
deleted
inserted
replaced
11 |
11 |
12 include ../Makefile.in |
12 include ../Makefile.in |
13 |
13 |
14 NAME = codegen |
14 NAME = codegen |
15 |
15 |
16 FILES = $(NAME).tex Thy/document/Codegen.tex \ |
16 FILES = $(NAME).tex Thy/document/*.tex \ |
17 style.sty ../../iman.sty ../../extra.sty ../../isar.sty \ |
17 style.sty ../../iman.sty ../../extra.sty ../../isar.sty \ |
18 ../../isabelle.sty ../../isabellesym.sty ../../pdfsetup.sty \ |
18 ../../isabelle.sty ../../isabellesym.sty ../../pdfsetup.sty \ |
19 ../../manual.bib ../../proof.sty |
19 ../../manual.bib ../../proof.sty |
20 |
20 |
21 dvi: $(NAME).dvi |
21 dvi: $(NAME).dvi |