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 e07d1e0b07..7791efcf3a 100755 --- a/support/TeX4ht/source/update-htfonts +++ b/support/TeX4ht/source/update-htfonts @@ -1,5 +1,5 @@ #!/bin/sh -# $Id: update-htfonts 1141 2022-06-01 21:43:42Z karl $ +# $Id: update-htfonts 1314 2023-04-02 15:01:40Z karl $ # Update TeX4ht font files (.htf). See ./Makefile for invocations. # Public domain. Originally written by Karl Berry, 2022. |