diff options
| author | Juergen Borleis <jbe@pengutronix.de> | 2015-06-04 15:40:48 +0200 |
|---|---|---|
| committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2015-12-03 22:37:00 +0100 |
| commit | 2863e6db8c5dd01e32a39000911509e3b5949d5c (patch) | |
| tree | a10be4c31eccd72d392335874f5f6ad29132523a /doc | |
| parent | 584ce0973254050ca0945c261d8dcd064c69c0b7 (diff) | |
| download | ptxdist-2863e6db8c5dd01e32a39000911509e3b5949d5c.tar.gz ptxdist-2863e6db8c5dd01e32a39000911509e3b5949d5c.tar.xz | |
Developer's manual: add forgotten platform name
Lost while converting automatically.
Signed-off-by: Juergen Borleis <jbe@pengutronix.de>
Diffstat (limited to 'doc')
| -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 dd00a7ca9..f35fffaf4 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//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 |