then
outfile=`basename "$1" \.pfb`.pfa
+--- ghostscript/configure.ac~ 2007-08-06 21:11:16.000000000 +0200
++++ ghostscript/configure.ac 2007-08-06 21:15:25.337043110 +0200
+@@ -1390,9 +1390,9 @@
+
+ while test -n "$drivers"; do
+ if echo $drivers |grep "," >/dev/null; then
+- THIS="`echo $drivers |sed -e 's/,.*//'`"
++ THIS=`echo $drivers |sed -e 's/,.*//'`
+ SEDCMD="s/$THIS,//"
+- drivers="`echo $drivers |sed -e $SEDCMD`"
++ drivers=`echo $drivers |sed -e $SEDCMD`
+ else
+ THIS=$drivers
+ drivers=""
+