--- a/doc-src/System/Thy/Presentation.thy Sat Jul 28 20:36:25 2012 +0200
+++ b/doc-src/System/Thy/Presentation.thy Sat Jul 28 21:10:54 2012 +0200
@@ -80,8 +80,8 @@
The easiest way to let Isabelle generate theory browsing information
for existing sessions is to append ``@{verbatim "-i true"}'' to the
@{setting_ref ISABELLE_USEDIR_OPTIONS} before invoking @{verbatim
- isabelle} @{tool make} (or @{file "$ISABELLE_HOME/build"}). For
- example, add something like this to your Isabelle settings file
+ isabelle} @{tool make}. For example, add something like this to
+ your Isabelle settings file
\begin{ttbox}
ISABELLE_USEDIR_OPTIONS="-i true"