| changeset 62191 | eb9f5ee249f9 |
| parent 60191 | 46a353f6aa39 |
| child 62915 | 0f794993485a |
--- a/Admin/Release/build_library Sat Jan 16 15:57:38 2016 +0100 +++ b/Admin/Release/build_library Sat Jan 16 16:37:45 2016 +0100 @@ -77,8 +77,6 @@ echo "ISABELLE_FULL_TEST=true" >> etc/settings -echo -n > src/Doc/ROOT - env ISABELLE_IDENTIFIER="${ISABELLE_NAME}-build" \ ./bin/isabelle build $JOBS -s -c -a -o browser_info \ -o "document=pdf" -o "document_variants=document:outline=/proof,/ML"