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.
lib/Tools/document
changeset 48657 63ef2f0cf8bb
parent 48637 547b075669ae
child 51081 70a4c11cd79e 
--- a/lib/Tools/document	Fri Aug 03 09:51:28 2012 +0200
+++ b/lib/Tools/document	Fri Aug 03 12:37:31 2012 +0200
@@ -134,8 +134,8 @@
 
   prep_tags
 
-  if [ -f IsaMakefile ]; then
-    "$ISABELLE_TOOL" make "$OUTFORMAT"
+  if [ -f build ]; then
+    ./build "$OUTFORMAT" "$NAME"
     RC="$?"
   elif [ "$OUTFORMAT" = pdf ]; then
     pre_latex pdf && \
isabelle