diff options
Diffstat (limited to 'doc/documentation.tex')
| -rw-r--r-- | doc/documentation.tex | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/doc/documentation.tex b/doc/documentation.tex index 328bcc7..8e0e262 100644 --- a/doc/documentation.tex +++ b/doc/documentation.tex @@ -98,10 +98,12 @@ % Add an abstract for this thorn's documentation \begin{abstract} -This thorn Formaline contacts a database server at run time and stores -there meta data about the run. Such meta data include e.g.\ the -parameter file, date, time, machine, and user id of the run, location -of the output data, number of iterations, an efficiency summary, etc. + This thorn Formaline collects and preserves meta data about the run. + It can contact a database server at run time and store the meta data + there. Such meta data include e.g.\ the parameter file, date, time, + machine, and user id of the run, location of the output data, number + of iterations, an efficiency summary, etc. It also writes a copy of + the executable's source code into the output directory. \end{abstract} %% % The following sections are suggestive only. |