Include the man page in the `All documentation should be rebuilt:` instructions

diff --git a/doc/source/developer-manual.sgml b/doc/source/developer-manual.sgml
index cfd0f30..3808f0b 100644 (file)
--- a/doc/source/developer-manual.sgml
+++ b/doc/source/developer-manual.sgml
@@ -2233,9 +2233,10 @@ for-privoxy-version=3.0.11
        <para>
         All documentation should be rebuilt:
        <programlisting>
        <para>
         All documentation should be rebuilt:
        <programlisting>

+  $ make man

   $ make dok
   $ make dok

+  $ make dok-man

   $ make dok-tidy
   $ make dok-tidy

-  $ make man

   $ make config-file
 </programlisting>
         Finished docs should be then be committed to Git (for those
   $ make config-file
 </programlisting>
         Finished docs should be then be committed to Git (for those