--- a/doc-src/System/Thy/Sessions.thy Wed Aug 08 14:45:40 2012 +0200
+++ b/doc-src/System/Thy/Sessions.thy Wed Aug 08 15:58:40 2012 +0200
@@ -192,10 +192,11 @@
Usage: isabelle build [OPTIONS] [SESSIONS ...]
Options are:
+ -D DIR include session directory and select its sessions
-a select all sessions
-b build heap images
-c clean build
- -d DIR include session directory with ROOT file
+ -d DIR include session directory
-g NAME select session group NAME
-j INT maximum number of parallel jobs (default 1)
-n no build -- test dependencies only
@@ -235,6 +236,9 @@
The build tool takes session dependencies into account: the set of
selected sessions is completed by including all ancestors.
+ \medskip Option @{verbatim "-D"} is similar to @{verbatim "-d"}, but
+ selects all sessions that are defined in the given directories.
+
\medskip The build process depends on additional options
(\secref{sec:system-options}) that are passed to the prover
eventually. The settings variable @{setting_ref
@@ -315,6 +319,13 @@
\begin{ttbox}
isabelle build -a -n -c
\end{ttbox}
+
+ \smallskip Build all sessions from some other directory hierarchy,
+ according to the settings variable @{verbatim "AFP"} that happens to
+ be defined inside the Isabelle environment:
+\begin{ttbox}
+isabelle build -D '$AFP'
+\end{ttbox}
*}