From cb8fe0ca6c21cf4a8a433fc9cc4c6794c5e2b5f8 Mon Sep 17 00:00:00 2001
From: Fabian Keil <fk@fabiankeil.de>
Date: Tue, 15 Dec 2020 07:39:53 +0100
Subject: [PATCH] developer-manual: Note that the 'webserver' target creates
 the link needed for the user-manual

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

diff --git a/doc/source/developer-manual.sgml b/doc/source/developer-manual.sgml
index 73b94ea9..50447a03 100644
--- a/doc/source/developer-manual.sgml
+++ b/doc/source/developer-manual.sgml
@@ -2366,8 +2366,8 @@ for-privoxy-version=3.0.11
          link from the main page since we need to keep manuals for various
          versions available). The CGI pages will link to something like
          <literal>https://www.privoxy.org/$(VERSION)/user-manual/</literal>. This
-         will need to be updated for each new release. There is no Makefile
-         target for this at this time!!! It needs to be done manually.
+         needs to be updated for each new release and is done with the
+         <quote>webserver</quote> target.
        </para>
       </listitem>
       <listitem>
-- 
2.49.0