doc-src/System/Thy/Misc.thy

   all related examples.  The @{verbatim all} target shall do
   @{verbatim images} and @{verbatim test}.
 *}
 
 
-section {* Make all logics *}
-
-text {* The @{tool_def makeall} tool applies Isabelle make to any
-  Isabelle component (cf.\ \secref{sec:components}) that contains an
-  @{verbatim IsaMakefile}:
-\begin{ttbox}
-Usage: isabelle makeall [ARGS ...]
-
-  Apply isabelle make to all components with IsaMakefile (passing ARGS).
-\end{ttbox}
-
-  The arguments @{verbatim ARGS} are just passed verbatim to each
-  @{tool make} invocation.
-*}
-
-
 section {* Printing documents *}
 
 text {*
   The @{tool_def print} tool prints documents:
 \begin{ttbox}