From 540e1eb00c1a2d08db53a11942e072c277e721f4 Mon Sep 17 00:00:00 2001 From: Lee Date: Sat, 31 Mar 2018 07:49:56 -0400 Subject: [PATCH] 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 --- GNUmakefile.in | 1 + 1 file changed, 1 insertion(+) 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*
\s*$$@@; s@ +$$@@;' -n -p $$html_file; \ done -- 2.39.2