--- a/doc-src/System/Thy/document/Misc.tex Tue Aug 04 16:09:46 2009 +0200
+++ b/doc-src/System/Thy/document/Misc.tex Tue Aug 04 16:11:11 2009 +0200
@@ -259,12 +259,13 @@
\isamarkuptrue%
%
\begin{isamarkuptext}%
-The \indexdef{}{tool}{makeall}\hypertarget{tool.makeall}{\hyperlink{tool.makeall}{\mbox{\isa{\isatt{makeall}}}}} utility applies Isabelle make to all logic
- directories of the distribution:
+The \indexdef{}{tool}{makeall}\hypertarget{tool.makeall}{\hyperlink{tool.makeall}{\mbox{\isa{\isatt{makeall}}}}} utility applies Isabelle make to any
+ Isabelle component (cf.\ \secref{sec:components}) that contains an
+ \verb|IsaMakefile|:
\begin{ttbox}
Usage: makeall [ARGS ...]
- Apply isabelle make to all logics (passing ARGS).
+ Apply isabelle make to all components with IsaMakefile (passing ARGS).
\end{ttbox}
The arguments \verb|ARGS| are just passed verbatim to each