Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
one more round to ensure that base images are already there, without producing document output themselves;
authorwenzelm
Wed, 29 Aug 2012 20:54:49 +0200
changeset 49002 8ce0fa01ea86
parent 49001 c83370b55e46
child 49003 09a9761cf5ae
one more round to ensure that base images are already there, without producing document output themselves;
Admin/lib/Tools/build_doc file | annotate | diff | comparison | revisions 
--- a/Admin/lib/Tools/build_doc	Wed Aug 29 20:46:47 2012 +0200
+++ b/Admin/lib/Tools/build_doc	Wed Aug 29 20:54:49 2012 +0200
@@ -71,7 +71,7 @@
 mkdir -p "$OUTPUT" || fail "Bad directory: \"$OUTPUT\""
 
 RC=0
-for FORMAT in dvi pdf
+for FORMAT in false dvi pdf
 do
   if [ "$RC" = 0 ]; then
     echo "Document format: $FORMAT"
isabelle