src/Doc/Tutorial/Documents/Documents.thy

 
   For example, a new session \texttt{MySession} (with document
   preparation) may be produced as follows:
 
 \begin{verbatim}
-  isabelle mkroot -d MySession
+  isabelle mkroot MySession
   isabelle build -D MySession
 \end{verbatim}
 
   The \texttt{isabelle build} job also informs about the file-system
   location of the ultimate results.  The above dry run should be able