summaryrefslogtreecommitdiff
path: root/support/TeX4ht/source/Makefile
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-06-06 03:02:07 +0000
committerNorbert Preining <norbert@preining.info>2022-06-06 03:02:07 +0000
commit89e8f58007e3fa8841a95b1e3d7efeacced6aed5 (patch)
tree5d9c98f1d4665ee3a9e459e8df5e4c66602140fc /support/TeX4ht/source/Makefile
parent4695dd8cb1cb1d7ee3849e75dec28f742e802e56 (diff)
CTAN sync 202206060302
Diffstat (limited to 'support/TeX4ht/source/Makefile')
-rw-r--r--support/TeX4ht/source/Makefile6
1 files changed, 3 insertions, 3 deletions
diff --git a/support/TeX4ht/source/Makefile b/support/TeX4ht/source/Makefile
index 97e49ce447..01514e9fe7 100644
--- a/support/TeX4ht/source/Makefile
+++ b/support/TeX4ht/source/Makefile
@@ -1,4 +1,4 @@
-# $Id: Makefile 1091 2022-03-17 11:02:16Z michal_h21 $
+# $Id: Makefile 1141 2022-06-01 21:43:42Z karl $
# This file is public domain. Originally written 2010, Karl Berry.
# Assumes GNU make.
@@ -718,7 +718,7 @@ endif
# The directories where tex4ht is installed in TeX Live,
# i.e., where we will copy and commit updates.
-texmf = /r/tug/home/texlive/karl/Master/texmf-dist
+texmf = /v/texlive/karl/Master/texmf-dist
inst_dir_4ht = $(texmf)/tex/generic/tex4ht
inst_dir_top = $(texmf)/tex4ht
inst_dir_scripts = $(texmf)/scripts/tex4ht
@@ -784,7 +784,7 @@ diff-htfonts:
# Compare and update.
update-htfonts:
- ./update-htfonts update $(ht_fonts_devdir) $(ht_fonts_instdir) | tee /tmp/htdif
+ ./update-htfonts update $(ht_fonts_devdir) $(ht_fonts_instdir) | tee /tmp/htupd
.PHONY: update-htfonts
#