summaryrefslogtreecommitdiff
path: root/support/TeX4ht/source/update-htfonts
diff options
context:
space:
mode:
Diffstat (limited to 'support/TeX4ht/source/update-htfonts')
-rwxr-xr-xsupport/TeX4ht/source/update-htfonts2
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.