summaryrefslogtreecommitdiff
path: root/support/TeX4ht/source/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'support/TeX4ht/source/Makefile')
-rw-r--r--support/TeX4ht/source/Makefile11
1 files changed, 7 insertions, 4 deletions
diff --git a/support/TeX4ht/source/Makefile b/support/TeX4ht/source/Makefile
index 702bc156fa..8c81e9990f 100644
--- a/support/TeX4ht/source/Makefile
+++ b/support/TeX4ht/source/Makefile
@@ -1,4 +1,4 @@
-# $Id: Makefile 924 2021-05-02 22:55:22Z karl $
+# $Id: Makefile 936 2021-05-16 16:21:01Z karl $
# This file is public domain. Originally written 2010, Karl Berry.
# Assumes GNU make.
@@ -804,19 +804,22 @@ diff-derived:
# Check that anything with a \version of this year
# also has a copyright of this year.
inst-check-copyright:
+ @echo '>>> $@'
-cd $(inst_dir_4ht) && for f in *; do \
if grep "version.*`date +%Y`" $$f >/dev/null; then \
grep "Copyright.*`date +%Y`" $$f >/dev/null || echo $$f; fi; done
# Check that all *.4ht in dev are installed. Other file types are
-# difficult, but all 4ht's should be present.
+# difficult, but all 4ht's should be present, except mktex4ht.4ht.
inst-check-files:
+ @echo '>>> $@'
cd $(inst_dir_4ht) && ls -1 *.4ht >/tmp/instlist
- ls -1 *.4ht >/tmp/devlist
+ ls -1 *.4ht | fgrep -v mktex4ht.4ht >/tmp/devlist
comm -3 /tmp/devlist /tmp/instlist
-# missing version identifications.
+# Check for missing version identifications.
inst-check-version:
+ @echo '>>> $@'
-cd $(inst_dir_4ht) && for f in *; do \
grep 'write-1.*version' $$f >/dev/null || echo $$f; done