summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJuergen Borleis <jbe@pengutronix.de>2016-06-09 13:56:16 +0200
committerMichael Olbrich <m.olbrich@pengutronix.de>2016-06-20 15:04:55 +0200
commitceed6b0cf7523a68baca8c67429047d6c8fd8c2b (patch)
tree65d4cfcbeeb565e44dc1a13846b6487ae54b7cf1
parent272be75bd92a73ac404a04c40aa6e9bf6f27fb8b (diff)
downloadptxdist-ceed6b0cf7523a68baca8c67429047d6c8fd8c2b.tar.gz
ptxdist-ceed6b0cf7523a68baca8c67429047d6c8fd8c2b.tar.xz
Make the sentence more understandable
Signed-off-by: Juergen Borleis <jbe@pengutronix.de>
-rw-r--r--doc/user_manual.rst2
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