diff options
author | Norbert Preining <norbert@preining.info> | 2023-06-03 03:01:14 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-06-03 03:01:14 +0000 |
commit | 644a486a866b7bcbf8fccb37cf6f88a36897deb0 (patch) | |
tree | b8593330c0b54d298644dacf70e3b79918acf6b2 /support/TeX4ht/source/update-htfonts | |
parent | de88ff1738cd9e29da5d2ce94b53d9035d9be6a4 (diff) |
CTAN sync 202306030301
Diffstat (limited to 'support/TeX4ht/source/update-htfonts')
-rwxr-xr-x | support/TeX4ht/source/update-htfonts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/TeX4ht/source/update-htfonts b/support/TeX4ht/source/update-htfonts index b30e3e7a91..638ae3f456 100755 --- a/support/TeX4ht/source/update-htfonts +++ b/support/TeX4ht/source/update-htfonts @@ -1,5 +1,5 @@ #!/bin/sh -# $Id: update-htfonts 1314 2023-04-02 15:01:40Z karl $ +# $Id: update-htfonts 1331 2023-05-14 16:18:22Z karl $ # Update TeX4ht font files (.htf). See ./Makefile for invocations. # Public domain. Originally written by Karl Berry, 2022. |