diff options
author | Juergen Borleis <jbe@pengutronix.de> | 2016-06-09 13:56:16 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2016-06-20 15:04:55 +0200 |
commit | ceed6b0cf7523a68baca8c67429047d6c8fd8c2b (patch) | |
tree | 65d4cfcbeeb565e44dc1a13846b6487ae54b7cf1 | |
parent | 272be75bd92a73ac404a04c40aa6e9bf6f27fb8b (diff) | |
download | ptxdist-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.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 |