From ca2d80ce585a60bf1944e7540002f0157e4dd7dc Mon Sep 17 00:00:00 2001
From: Lee <ler762@users.sourceforge.net>
Date: Sun, 16 Dec 2018 18:58:16 -0500
Subject: [PATCH] Include the man page in the `All documentation should be
 rebuilt:` instructions

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

diff --git a/doc/source/developer-manual.sgml b/doc/source/developer-manual.sgml
index cfd0f307..3808f0b9 100644
--- 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>
+  $ make man
   $ make dok
+  $ make dok-man
   $ make dok-tidy
-  $ make man
   $ make config-file
 </programlisting>
         Finished docs should be then be committed to Git (for those
-- 
2.39.2