path: root/doc/dev_manual.rst
diff options
authorMichael Olbrich <>2016-06-07 18:20:16 +0200
committerMichael Olbrich <>2016-06-20 15:04:37 +0200
commitb5f8f05479a8a766d10e5c6bbfc5e3f31a66a477 (patch)
tree6157a05960ea5e82ae5ed7000b023296698201b7 /doc/dev_manual.rst
parent942a70ae5107ddb6577a80f6bc9dddff10e650ec (diff)
doc: cleanup substitutions and use code sections
Now, that substitutions happen before the sphinx run, the '\ ' magic so that the substitute patters are found, are no longer needed. And code sections can now be used here. This is needed to break long lines for in latex output. Signed-off-by: Michael Olbrich <>
Diffstat (limited to 'doc/dev_manual.rst')
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/dev_manual.rst b/doc/dev_manual.rst
index dfd2c040b..e89857549 100644
--- a/doc/dev_manual.rst
+++ b/doc/dev_manual.rst
@@ -67,7 +67,7 @@ package in question.
One location is the project’s currently used platform directory. If the
currently used platform is located in ``configs/``, PTXdist searches in
-./configs/\ |ptxdistPlatformName|\ /patches/<package name>
+./configs/|ptxdistPlatformName|/patches/<package name>
If no patch series was found in the platform directory, the next
location PTXdist it searches for a patch series is the main project