diff options
Diffstat (limited to 'Master/texmf-dist/source/generic/tex4ht/update-htfonts')
-rw-r--r-- | Master/texmf-dist/source/generic/tex4ht/update-htfonts | 4 |
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 |