summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/generic/tex4ht/Makefile
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2022-01-23 15:53:00 +0000
committerKarl Berry <karl@freefriends.org>2022-01-23 15:53:00 +0000
commit8c73d7e6ae1b08c4d5879ec471b96eab45366281 (patch)
tree4de7f61edbc2a3685e2218d32f65dcb2465cec49 /Master/texmf-dist/source/generic/tex4ht/Makefile
parentcd8fd1f4f761a67d569c6e0b0b9357b386eeeb02 (diff)
2022
git-svn-id: svn://tug.org/texlive/trunk@61710 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/generic/tex4ht/Makefile')
-rw-r--r--Master/texmf-dist/source/generic/tex4ht/Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/texmf-dist/source/generic/tex4ht/Makefile b/Master/texmf-dist/source/generic/tex4ht/Makefile
index 5916f5504c2..c473e20c980 100644
--- a/Master/texmf-dist/source/generic/tex4ht/Makefile
+++ b/Master/texmf-dist/source/generic/tex4ht/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.