diff options
Diffstat (limited to 'doc/dev_manual.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``) |