diff options
author | Juergen Borleis <jbe@pengutronix.de> | 2016-06-20 12:46:36 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2016-06-20 15:05:04 +0200 |
commit | d8cc74c5dd47ec132ec73a480cff9d0ff2d671f7 (patch) | |
tree | 70004b69fbe49572abf8c2c7ec75dfd8af345b1c /doc/dev_manual.rst | |
parent | aeb7ace5a5944daebe09076b9ca4d060ee9c3a58 (diff) | |
download | ptxdist-d8cc74c5dd47ec132ec73a480cff9d0ff2d671f7.tar.gz ptxdist-d8cc74c5dd47ec132ec73a480cff9d0ff2d671f7.tar.xz |
Link both User's and Developer's manual nicely
Signed-off-by: Juergen Borleis <jbe@pengutronix.de>
Diffstat (limited to 'doc/dev_manual.rst')
-rw-r--r-- | doc/dev_manual.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/dev_manual.rst b/doc/dev_manual.rst index f907ea1f7..53a1ce019 100644 --- a/doc/dev_manual.rst +++ b/doc/dev_manual.rst @@ -1,3 +1,5 @@ +.. _ptx_dev_manual: + PTXdist Developer’s Manual ========================== |