diff options
-rw-r--r-- | Makefile | 7 | ||||
-rw-r--r-- | doc/UsersGuide/RunningCactus.tex | 2 |
2 files changed, 8 insertions, 1 deletions
@@ -19,7 +19,7 @@ # # # @enddesc -# @version $Id: Makefile,v 1.171 2005-09-16 13:54:19 tradke Exp $ +# @version $Id: Makefile,v 1.172 2005-09-26 00:09:04 schnetter Exp $ # @@*/ ################################################################################## @@ -406,6 +406,7 @@ endif @echo " ThornDoc - create documentation for all thorns in doc/ThornDoc." @echo " ArrangementDoc - create documentation for all arrangements" @echo " in doc/ArrangementDoc." + @echo " AllDoc - build all documentation." @echo " <anything else> - prompt to create a configuration with that name." @echo $(DIVIDER) @@ -993,6 +994,10 @@ endif # Documentation targets ############################################################################### +# Make all documentation +.PHONY: AllDoc +AllDoc: UsersGuide ReferenceManual MaintGuide ThornDoc ArrangementDoc + # Make the Users Guide .PHONY: UsersGuide.ps diff --git a/doc/UsersGuide/RunningCactus.tex b/doc/UsersGuide/RunningCactus.tex index 725f2ec2..ccedb79d 100644 --- a/doc/UsersGuide/RunningCactus.tex +++ b/doc/UsersGuide/RunningCactus.tex @@ -1066,6 +1066,8 @@ configuration found in user's \texttt{configs} subdirectory. \item [{\tt gmake UsersGuide}] runs LaTeX to produce a copy of the Users' Guide. +\item [{\tt gmake AllDoc}] creates all of the above documentations. + \end{Lentry} |