summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJuergen Borleis <jbe@pengutronix.de>2016-06-20 12:46:36 +0200
committerMichael Olbrich <m.olbrich@pengutronix.de>2016-06-20 15:05:04 +0200
commitd8cc74c5dd47ec132ec73a480cff9d0ff2d671f7 (patch)
tree70004b69fbe49572abf8c2c7ec75dfd8af345b1c
parentaeb7ace5a5944daebe09076b9ca4d060ee9c3a58 (diff)
downloadptxdist-d8cc74c5dd47ec132ec73a480cff9d0ff2d671f7.tar.gz
Link both User's and Developer's manual nicely
Signed-off-by: Juergen Borleis <jbe@pengutronix.de>
-rw-r--r--doc/dev_manual.rst2
-rw-r--r--doc/user_manual_section.rst2
2 files changed, 3 insertions, 1 deletions
diff --git a/doc/dev_manual.rst b/doc/dev_manual.rst
index f907ea1..53a1ce0 100644
--- a/doc/dev_manual.rst
+++ b/doc/dev_manual.rst
@@ -1,3 +1,5 @@
+.. _ptx_dev_manual:
+
PTXdist Developer’s Manual
==========================
diff --git a/doc/user_manual_section.rst b/doc/user_manual_section.rst
index b0b63c0..ab93dd0 100644
--- a/doc/user_manual_section.rst
+++ b/doc/user_manual_section.rst
@@ -13,4 +13,4 @@ But most of the time, a user needs more detailed adaptions to be able to
fit all requirements of the new platform. At this point of time we are
no longer ordinary users of PTXdist, we become developers now.
-So, right now it’s time to read the *PTXdist Developer’s Manual*
+So, right now it’s time to read the :ref:`ptx_dev_manual`