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-htfonts4
1 files changed, 2 insertions, 2 deletions
diff --git a/support/TeX4ht/source/update-htfonts b/support/TeX4ht/source/update-htfonts
index 36d624d5ac..1b24cc5ec4 100755
--- a/support/TeX4ht/source/update-htfonts
+++ b/support/TeX4ht/source/update-htfonts
@@ -1,5 +1,5 @@
#!/bin/sh
-# $Id: update-htfonts 1093 2022-03-20 16:15:35Z karl $
+# $Id: update-htfonts 1141 2022-06-01 21:43:42Z karl $
# Public domain. Originally written by Karl Berry, 2022.
# don't bother with real option parsing.
@@ -83,7 +83,7 @@ echo "$prg: to $instdir"
#
find "$devdir" -type f -print | sort | while read devf; do
instf=`echo "$devf" | sed "s,^$devdir/,$instdir/,"`
- echo "$devf" | grep OpenSans >/dev/null &&
+ #echo "$devf" | grep ec-mlm >/dev/null &&
#$verbose && echo "considering $devf -> $instf"
if test -r "$instf"; then