--- 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