--- a/Admin/lib/Tools/build_doc Sat Apr 05 23:42:30 2014 +0200
+++ b/Admin/lib/Tools/build_doc Sat Apr 05 23:56:21 2014 +0200
@@ -15,12 +15,12 @@
echo "Usage: isabelle $PRG [OPTIONS] [DOCS ...]"
echo
echo " Options are:"
- echo " -a select all doc sessions"
+ echo " -a select all documentation sessions"
echo " -j INT maximum number of parallel jobs (default 1)"
echo " -s system build mode"
echo
- echo " Build Isabelle documentation from doc sessions with suitable"
- echo " document_variants."
+ echo " Build Isabelle documentation from documentation sessions with"
+ echo " suitable document_variants entry."
echo
exit 1
}