From 5c3ff0e8f3caf7ebef4c60f1092f41b1d8c5460f Mon Sep 17 00:00:00 2001
From: Lee <ler762@users.sourceforge.net>
Date: Sun, 18 Mar 2018 11:00:16 -0400
Subject: [PATCH] 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>
---
 GNUmakefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/GNUmakefile.in b/GNUmakefile.in
index b7ab77f8..3c55d79a 100644
--- 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
-- 
2.39.2