--- a/Admin/Release/build_library Fri Apr 08 20:52:40 2016 +0200
+++ b/Admin/Release/build_library Fri Apr 08 21:49:43 2016 +0200
@@ -75,10 +75,8 @@
cd *
ISABELLE_NAME="$(basename "$PWD")"
-echo "ISABELLE_FULL_TEST=true" >> etc/settings
-
env ISABELLE_IDENTIFIER="${ISABELLE_NAME}-build" \
- ./bin/isabelle build $JOBS -s -c -a -o browser_info \
+ ./bin/isabelle build $JOBS -s -c -a -d '~~/src/Benchmarks' -o browser_info \
-o "document=pdf" -o "document_variants=document:outline=/proof,/ML"
RC="$?"