doc-src/System/Thy/document/Misc.tex

   all related examples.  The \verb|all| target shall do
   \verb|images| and \verb|test|.%
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
-\isamarkupsection{Make all logics%
-}
-\isamarkuptrue%
-%
-\begin{isamarkuptext}%
-The \indexdef{}{tool}{makeall}\hypertarget{tool.makeall}{\hyperlink{tool.makeall}{\mbox{\isa{\isatool{makeall}}}}} tool applies Isabelle make to any
-  Isabelle component (cf.\ \secref{sec:components}) that contains an
-  \verb|IsaMakefile|:
-\begin{ttbox}
-Usage: isabelle makeall [ARGS ...]
-
-  Apply isabelle make to all components with IsaMakefile (passing ARGS).
-\end{ttbox}
-
-  The arguments \verb|ARGS| are just passed verbatim to each
-  \hyperlink{tool.make}{\mbox{\isa{\isatool{make}}}} invocation.%
-\end{isamarkuptext}%
-\isamarkuptrue%
-%
 \isamarkupsection{Printing documents%
 }
 \isamarkuptrue%
 %
 \begin{isamarkuptext}%