diff options
Diffstat (limited to 'font')
-rw-r--r-- | font/devps/generate/symbol.sed | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/font/devps/generate/symbol.sed b/font/devps/generate/symbol.sed index b4b02aba..153e6314 100644 --- a/font/devps/generate/symbol.sed +++ b/font/devps/generate/symbol.sed @@ -1,5 +1,5 @@ #! /bin/sed -f -# Tweak the AFM file for the Symbol font. +# Set up uniform vertical dimensions for extensible glyphs (needed by eqn). /^C .*[ ;]N bracketlefttp[ ;]/bx /^C .*[ ;]N bracketleftex[ ;]/bx /^C .*[ ;]N bracketleftbt[ ;]/bx |