From: Fabian Keil <fk@fabiankeil.de>
Date: Sun, 13 Dec 2020 18:35:26 +0000 (+0100)
Subject: developer-manual: Recommend the dok-tidy target when building docs for the webserver
X-Git-Tag: v_3_0_30~270^2~5
X-Git-Url: http://www.privoxy.org/gitweb/?p=privoxy.git;a=commitdiff_plain;h=e1d5a39606e3e5c73b5691b27d36ce7804060237

developer-manual: Recommend the dok-tidy target when building docs for the webserver
---

diff --git a/doc/source/developer-manual.sgml b/doc/source/developer-manual.sgml
index 18115067..ba99f6b9 100644
--- a/doc/source/developer-manual.sgml
+++ b/doc/source/developer-manual.sgml
@@ -386,7 +386,7 @@ Hal.
      <orderedlist numeration="arabic">
       <listitem><para>
         First, build the docs by running <computeroutput>make
-        dok</computeroutput>.
+        dok dok-tidy</computeroutput>.
       </para></listitem>
       <listitem><para>
         Run <computeroutput>make webserver</computeroutput> which copies all