From: Lee <ler762@users.sourceforge.net>
Date: Sat, 31 Mar 2018 11:49:56 +0000 (-0400)
Subject: echo the filename to stderr for 'make dok-tidy'
X-Git-Tag: v_3_0_27~57
X-Git-Url: http://www.privoxy.org/gitweb/?p=privoxy.git;a=commitdiff_plain;h=540e1eb00c1a2d08db53a11942e072c277e721f4

echo the filename to stderr for 'make dok-tidy'

make it a bit easier to find errors in docbook generated html

tidy doesn't show the filename it's working on, so if
you do a 'make dok-tidy' you get *lots* of output to
stderr but no clue as to which file has all those
errors/warnings
---

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 3c55d79a..9b6f99d7 100644
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -679,6 +679,7 @@ web-user-manual:
 #############################################################################
 dok-tidy:
 	for html_file in `find doc/webserver -name "*.html"`; do \
+		$(ECHO) "------ begin processing $$html_file" >&2 ; \
 		$(TIDY) $$html_file || $(TIDY) $$html_file; \
 		$(PERL) -i'' -e 's@^\s*<br>\s*$$@@; s@ +$$@@;' -n -p $$html_file; \
 	done