developer-manual: Stop claiming that there are text versions of the manuals

We stopped building them in 2008 (9ed36a3c5e6f12).

diff --git a/doc/source/developer-manual.sgml b/doc/source/developer-manual.sgml
index 50447a0..9a85219 100644 (file)
--- a/doc/source/developer-manual.sgml
+++ b/doc/source/developer-manual.sgml
@@ -2490,9 +2490,7 @@ for-privoxy-version=3.0.11
           Also suggested: <filename>Developer Manual</filename>
           (doc/webserver/developer-manual) and <filename>ChangeLog</filename>
           (top-level directory). <filename>FAQ</filename> and the manuals are
-          HTML docs. There are also text versions in
-          <filename>doc/text/</filename> which could conceivably also be
-          included.
+          HTML docs.
         </para>
         <para>
          The documentation has been designed such that the manuals are linked