From e1d5a39606e3e5c73b5691b27d36ce7804060237 Mon Sep 17 00:00:00 2001
From: Fabian Keil <fk@fabiankeil.de>
Date: Sun, 13 Dec 2020 19:35:26 +0100
Subject: [PATCH] developer-manual: Recommend the dok-tidy target when building
 docs for the webserver

---
 doc/source/developer-manual.sgml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.39.2