windows build doc: note that one only needs tidy to build the docs

If you're not building the docbook stuff you don't need tidy.

diff --git a/doc/source/user-manual.sgml b/doc/source/user-manual.sgml
index 126bc86..4d3b244 100644 (file)
--- a/doc/source/user-manual.sgml
+++ b/doc/source/user-manual.sgml
@@ -385,7 +385,8 @@ git clone https://www.privoxy.org/git/privoxy.git
 </screen>
 
       <para>
-        Get the source code (.zip or .tar.gz) for tidy from
+        If you want to build the documentation,
+        get the source code (tar.gz) for tidy from
         <ulink url="https://github.com/htacg/tidy-html5/releases">
                     https://github.com/htacg/tidy-html5/releases</ulink>,
         unzip into &lt;root-dir> and build the software: