Link to the Optional: Developer Additions step

We were referring people to a previous section by text, but we
have the power of linking in HTML, PDF, and ePub, so let's do
that and ease the navigation.

Signed-off-by: Dan Scott <dscott@laurentian.ca>

diff --git a/docs/installation/server_installation.adoc b/docs/installation/server_installation.adoc
index 20e0ccd..df3b055 100644 (file)
--- a/docs/installation/server_installation.adoc
+++ b/docs/installation/server_installation.adoc
@@ -103,6 +103,7 @@ echo "/usr/local/lib/dbd" > /etc/ld.so.conf.d/eg.conf
 ldconfig
 ------------------------------------------------------------------------------
 
+[[optional_developer_additions]]
 5. OPTIONAL: Developer additions
 +
 To perform certain developer tasks from a Git source code checkout, 
@@ -145,8 +146,8 @@ Install dependencies for web staff client
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 [NOTE]
-You may skip this section if you have installed the previously described
-'Optional: Developer Additions'.  You will still need to do the following
+You may skip this section if you have installed the
+<<optional_developer_additions,optional developer additions>>.  You will still need to do the following
 steps in <<install_files_for_web_staff_client,Install files for web staff client>>.
 
 1. Install the long-term stability (LTS) release of