diff options
author | Juergen Borleis <jbe@pengutronix.de> | 2016-06-17 10:59:14 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2016-06-20 15:04:47 +0200 |
commit | 9ab1aa0ca7a79825935debba3970ee8cebd1b36a (patch) | |
tree | f408536a980a9219ea3e528d96ec3b86016f8f5f | |
parent | 615253f10b9e39d2f0dd186aa5f15b0c6ede1977 (diff) | |
download | ptxdist-9ab1aa0ca7a79825935debba3970ee8cebd1b36a.tar.gz ptxdist-9ab1aa0ca7a79825935debba3970ee8cebd1b36a.tar.xz |
Add missing platform name into the sentence
Seems it was lost while the transition from latex to rst
-rw-r--r-- | doc/dev_manual.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/dev_manual.rst b/doc/dev_manual.rst index cbbb1dd1c..921b9546d 100644 --- a/doc/dev_manual.rst +++ b/doc/dev_manual.rst @@ -1082,7 +1082,7 @@ for patches in: #. project (``./patches/foo-1.1.0``) -#. platform (``./configs//patches/foo-1.1.0``) +#. platform (``./configs/|ptxdistPlatformName|/patches/foo-1.1.0``) #. ptxdist (``<ptxdist/installation/path>/patches/foo-1.1.0``) |