Document new OPTION option in a PROVIDES block in a configuration.ccl.

git-svn-id: http://svn.cactuscode.org/flesh/trunk@3856 17b73243-c579-4c4c-a9d2-2d5706c11dac

1 files changed, 7 insertions, 0 deletions

diff --git a/doc/UsersGuide/Appendices.tex b/doc/UsersGuide/Appendices.tex
index 3c034d99..616c0663 100644
--- a/doc/UsersGuide/Appendices.tex
+++ b/doc/UsersGuide/Appendices.tex
@@ -938,6 +938,7 @@ PROVIDES <\var{Capability}>
 \{
   SCRIPT <\var{Configuration script}>
   LANG <\var{Language}>
+  [OPTIONS [<option>[,<option>]...]] 
 \}
 \end{alltt}
 
@@ -955,6 +956,12 @@ Scripts can be in any language.  If an interpreter is needed to run
 the script, for example \verb|Perl|, this should be indicated by the
 \verb|LANG| option.
 
+The specified options are checked for in the original configuration
+and any options passed on the command line (including an `options'
+file) at compile time when the thorn is added, or if the CST is
+rerun.  These options need be set only once, and will be remembered
+between builds.
+
 \item
 
 \begin{alltt}