diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/user_manual.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user_manual.rst b/doc/user_manual.rst index 80976f192..be9130d1d 100644 --- a/doc/user_manual.rst +++ b/doc/user_manual.rst @@ -452,7 +452,7 @@ project. this correctly, this directory contains timestamp files about finished stages. -This are the generated files: +And one important file in case of trouble: |ptxdistPlatformDir|\ ``/logfile`` Every run of PTXdist will add its output to this file. If something |