diff options
author | Norbert Preining <norbert@preining.info> | 2022-06-06 03:02:07 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-06-06 03:02:07 +0000 |
commit | 89e8f58007e3fa8841a95b1e3d7efeacced6aed5 (patch) | |
tree | 5d9c98f1d4665ee3a9e459e8df5e4c66602140fc /support/TeX4ht/source/Makefile | |
parent | 4695dd8cb1cb1d7ee3849e75dec28f742e802e56 (diff) |
CTAN sync 202206060302
Diffstat (limited to 'support/TeX4ht/source/Makefile')
-rw-r--r-- | support/TeX4ht/source/Makefile | 6 |
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 # |