summaryrefslogtreecommitdiff
path: root/support/TeX4ht/source/Makefile
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-01-25 03:01:54 +0000
committerNorbert Preining <norbert@preining.info>2022-01-25 03:01:54 +0000
commit54e627ff3ae26ebf28688e2cf04b2ed9fb3a393b (patch)
tree5a2f425ce86bd69fad53eebbef6ad56bff1fc9de /support/TeX4ht/source/Makefile
parent17f5b660e0ce0c5c1b1dc095df8213e078963809 (diff)
CTAN sync 202201250301
Diffstat (limited to 'support/TeX4ht/source/Makefile')
-rw-r--r--support/TeX4ht/source/Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/support/TeX4ht/source/Makefile b/support/TeX4ht/source/Makefile
index 5916f5504c..c473e20c98 100644
--- a/support/TeX4ht/source/Makefile
+++ b/support/TeX4ht/source/Makefile
@@ -1,4 +1,4 @@
-# $Id: Makefile 1061 2022-01-20 22:17:17Z karl $
+# $Id: Makefile 1062 2022-01-23 15:51:43Z karl $
# This file is public domain. Originally written 2010, Karl Berry.
# Assumes GNU make.
@@ -753,6 +753,7 @@ srcfiles = $(shell svn status -v | awk '{print $$NF}' \
# Diff source files from installed to dev.
diff-src:
+ @echo; echo '>>> $@'
for f in $(srcfiles); do $(diff) $(inst_dir_source)/$$f $$f; done
#
# Install from dev to installed.
@@ -772,6 +773,7 @@ ht_fonts_instdir = $(inst_dir_top)/ht-fonts
# Compare only.
diff-htfonts:
+ @echo; echo '>>> $@'
./update-htfonts diff $(ht_fonts_devdir) $(ht_fonts_instdir) | tee /tmp/htdif
# Compare and update.