diff options
Diffstat (limited to 'Master/texmf-dist/source/generic/tex4ht/Makefile')
-rw-r--r-- | Master/texmf-dist/source/generic/tex4ht/Makefile | 6 |
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 # |