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.49.0