Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/IsarAdvanced/Codegen/Makefile
changeset 28213 b52f9205a02d
parent 26911 871cc7f11034 
--- a/doc-src/IsarAdvanced/Codegen/Makefile	Fri Sep 12 12:04:20 2008 +0200
+++ b/doc-src/IsarAdvanced/Codegen/Makefile	Sun Sep 14 21:50:35 2008 +0200
@@ -13,7 +13,7 @@
 
 NAME = codegen
 
-FILES = $(NAME).tex Thy/document/Codegen.tex \
+FILES = $(NAME).tex Thy/document/*.tex \
   style.sty ../../iman.sty ../../extra.sty ../../isar.sty \
   ../../isabelle.sty ../../isabellesym.sty ../../pdfsetup.sty \
   ../../manual.bib ../../proof.sty
isabelle