From d25e58afef0c1d8943fbcd98d306930a6a2918b9 Mon Sep 17 00:00:00 2001
From: Lee <ler762@users.sourceforge.net>
Date: Mon, 10 Jul 2017 21:19:36 +0000
Subject: [PATCH] add 'make dok-tidy' to the list of things to do for a 'make
 dok'

---
 GNUmakefile.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/GNUmakefile.in b/GNUmakefile.in
index c9ead67c..db2c8f10 100644
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -1,6 +1,6 @@
 # Note:  GNUmakefile is built automatically from GNUmakefile.in
 #
-# $Id: GNUmakefile.in,v 1.262 2017/05/25 11:15:34 fabiankeil Exp $
+# $Id: GNUmakefile.in,v 1.263 2017/06/01 13:22:46 ler762 Exp $
 #
 # Written by and Copyright (C) 2001-2017 members of the
 # Privoxy team. https://www.privoxy.org/
@@ -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: dok-release dok-devel dok-user dok-faq dok-readme dok-webserver dok-authors dok-index dok-tidy
 	@$(ECHO) Documentation created.
 
 ## Make AUTHORS file
-- 
2.49.0