Regenerate developer manual with the updated man page reference

diff --git a/doc/webserver/developer-manual/documentation.html b/doc/webserver/developer-manual/documentation.html
index be98dfc..5bf0c89 100644 (file)
--- a/doc/webserver/developer-manual/documentation.html
+++ b/doc/webserver/developer-manual/documentation.html
@@ -33,7 +33,7 @@
     to build docs from source. Currently there is <a href="../user-manual/index.html" target="_top"><i class=
     "CITETITLE">user-manual</i></a>, <a href="../faq/index.html" target="_top"><i class="CITETITLE">FAQ</i></a>, and,
     of course this, the <i class="CITETITLE">developer-manual</i> in this format. The <i class="CITETITLE">README</i>,
-    <i class="CITETITLE">AUTHORS</i>, <i class="CITETITLE">INSTALL</i>, <i class="CITETITLE">privoxy.1</i> (man page),
+    <i class="CITETITLE">AUTHORS</i>, <i class="CITETITLE">INSTALL</i>, <i class="CITETITLE">privoxy.8</i> (man page),
     and <i class="CITETITLE">config</i> files are also now maintained as Docbook SGML. These files, when built, in the
     top-level source directory are generated files! Also, the <span class="APPLICATION">Privoxy</span> <tt class=
     "FILENAME">index.html</tt> (and a variation on this file, <tt class="FILENAME">privoxy-index.html</tt>, meant for