From d8cc74c5dd47ec132ec73a480cff9d0ff2d671f7 Mon Sep 17 00:00:00 2001 From: Juergen Borleis Date: Mon, 20 Jun 2016 12:46:36 +0200 Subject: Link both User's and Developer's manual nicely Signed-off-by: Juergen Borleis --- doc/dev_manual.rst | 2 ++ doc/user_manual_section.rst | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) 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 ========================== diff --git a/doc/user_manual_section.rst b/doc/user_manual_section.rst index b0b63c0f9..ab93dd068 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` -- cgit v1.2.3