diff options
Diffstat (limited to 'doc/documentation.tex')
| -rw-r--r-- | doc/documentation.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/documentation.tex b/doc/documentation.tex index 1decb0d..e36378c 100644 --- a/doc/documentation.tex +++ b/doc/documentation.tex @@ -87,7 +87,7 @@ environment variable. If the environment variable \texttt{MANUAL\_TERMINATION\_JOB\_ID} is set, that will be used instead as the \texttt{\textit{job\_id}}. -In this configuration, any user may terminate the run by putting a '1' into +In this configuration, any user may terminate the run by putting a `1' into the specified file. The the termination file is removed when the run shuts down. |