summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/generic/tex4ht/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/generic/tex4ht/Makefile')
-rw-r--r--Master/texmf-dist/source/generic/tex4ht/Makefile6
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf-dist/source/generic/tex4ht/Makefile b/Master/texmf-dist/source/generic/tex4ht/Makefile
index 97e49ce447a..01514e9fe72 100644
--- a/Master/texmf-dist/source/generic/tex4ht/Makefile
+++ b/Master/texmf-dist/source/generic/tex4ht/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
#