From: Lee <ler762@users.sourceforge.net>
Date: Mon, 10 Jul 2017 21:19:36 +0000 (+0000)
Subject: add 'make dok-tidy' to the list of things to do for a 'make dok'
X-Git-Tag: v_3_0_27~96
X-Git-Url: http://www.privoxy.org/gitweb/%22https:/@default-cgi@/man-page/user-manual/static/@default-cgi@toggle?a=commitdiff_plain;h=d25e58afef0c1d8943fbcd98d306930a6a2918b9;p=privoxy.git

add 'make dok-tidy' to the list of things to do for a 'make dok'
---

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