diff options
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. |