summaryrefslogtreecommitdiff
path: root/doc/UsersGuide
diff options
context:
space:
mode:
authortradke <tradke@17b73243-c579-4c4c-a9d2-2d5706c11dac>2009-02-13 10:51:42 +0000
committertradke <tradke@17b73243-c579-4c4c-a9d2-2d5706c11dac>2009-02-13 10:51:42 +0000
commit1546d9ff4f6afb99f55bd2eacf7b7f9473ee44db (patch)
tree943e2a355cb63adc795ec0dff96966a0fbe806c0 /doc/UsersGuide
parent0bf28013478abbc1114a33b05cb6b37a5b25f32a (diff)
patch from Luca Baiotti: explain how names of utility programs, which can be
specified in the 'make <configuration>-utils' target, are derived git-svn-id: http://svn.cactuscode.org/flesh/trunk@4553 17b73243-c579-4c4c-a9d2-2d5706c11dac
Diffstat (limited to 'doc/UsersGuide')
-rw-r--r--doc/UsersGuide/Notes.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/UsersGuide/Notes.tex b/doc/UsersGuide/Notes.tex
index 30c01719..b5bb9924 100644
--- a/doc/UsersGuide/Notes.tex
+++ b/doc/UsersGuide/Notes.tex
@@ -898,7 +898,7 @@ thorns in this configuration
\item [\texttt{gmake <\var{config}>-utils [UTILS$=$<\var{list}>]}] builds all
utility programs provided by the thorns of a configuration. Individual
-utilities can be selected by giving their names in the \texttt{UTILS} variable.
+utilities can be selected by giving their names (ie. name of the source file without extension) in the \texttt{UTILS} variable.
\end{Lentry}