summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/generic/tex4ht/update-htfonts
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/generic/tex4ht/update-htfonts')
-rw-r--r--Master/texmf-dist/source/generic/tex4ht/update-htfonts4
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/source/generic/tex4ht/update-htfonts b/Master/texmf-dist/source/generic/tex4ht/update-htfonts
index 36d624d5acf..1b24cc5ec45 100644
--- a/Master/texmf-dist/source/generic/tex4ht/update-htfonts
+++ b/Master/texmf-dist/source/generic/tex4ht/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