--- a2ps-4.13/afm/make_fonts_map.sh.make-fonts-map 1999-01-20 14:28:27.000000000 +0000
+++ a2ps-4.13/afm/make_fonts_map.sh 2004-12-09 12:34:45.517150083 +0000
@@ -58,23 +58,15 @@
do
# Extract the font name.
name=`sed -n -e '/^FontName/{
-s/FontName[ ]*\([-a-zA-Z]*\).*/\1/p
+s/FontName[ ]*\([-a-zA-Z0-9]*\).*/\1/p
q
}' $file`
shortname=`basename $file | sed -e 's/\.[^\.]*$//g'`
if test x$name = x; then :; else
- # This is probably not a correct AFM file.
+ # If name was empty this is probably not a correct AFM file.
# (For instance Ogonkify's pseudo AFMs that define the encodings)
# Forget it.
- col1=`echo "$name$many_spaces" | sed -e 's/^\('$many_dots'\).*$/\1/g'`
- # Make sure the name has not been cut
- case "$col1" in
- $name*) ;;
- *) echo "A name has been cut ($name -> $col1)." 1>&2
- exit 1 ;;
- esac
- col2="$shortname"
- echo "$col1$col2" >> fonts.map.new
+ printf "%-30s %s\n" $name $shortname >> fonts.map.new
fi
done