make dok: don't run tidy on the docbook generated html

at least as of tidy 5.6.0, tidy -indent -wrap
breaks <pre> formatting if the line is wrapped

<pre>a long line
</pre>

when indented and wrapped ends up like this
      <pre>
      a long line
</pre>

The pre-formatted text shouldn't have leading spaces added.  It should look like
      <pre>
a long line
</pre>

diff --git a/GNUmakefile.in b/GNUmakefile.in
index b7ab77f..3c55d79 100644 (file)
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -565,7 +565,7 @@ dok-index:
      doc/webserver/privoxy-index.html && $(RM) doc/webserver/*.bak
 
 # Main documentation target.
-dok: dok-release dok-devel dok-user dok-faq dok-readme dok-webserver dok-authors dok-index dok-tidy
+dok: dok-release dok-devel dok-user dok-faq dok-readme dok-webserver dok-authors dok-index
        @$(ECHO) Documentation created.
 
 ## Make AUTHORS file