diff options
Diffstat (limited to 'support/TeX4ht/source/Makefile')
-rw-r--r-- | support/TeX4ht/source/Makefile | 11 |
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 |