diff options
Diffstat (limited to 'doc/user_manual_section.rst')
| -rw-r--r-- | doc/user_manual_section.rst | 2 |
1 files changed, 1 insertions, 1 deletions
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` |