--- a/doc-src/ProgProve/IsaMakefile Tue Apr 03 20:24:00 2012 +0200
+++ b/doc-src/ProgProve/IsaMakefile Tue Apr 03 20:37:52 2012 +0200
@@ -20,7 +20,15 @@
HOL-ProgProve: $(LOG)/HOL-ProgProve.gz
-$(LOG)/HOL-ProgProve.gz: Thys/*.thy Thys/ROOT.ML
+$(LOG)/HOL-ProgProve.gz: \
+ Thys/Basics.thy \
+ Thys/Bool_nat_list.thy \
+ Thys/Isar.thy \
+ Thys/LaTeXsugar.thy \
+ Thys/Logic.thy \
+ Thys/MyList.thy \
+ Thys/Types_and_funs.thy \
+ Thys/ROOT.ML
@$(USEDIR) -s ProgProve HOL Thys
@rm -f Thys/document/MyList.tex
@rm -f Thys/document/isabelle.sty