--- build_gtkintf_html.sh	2008-10-15 15:31:08.000000000 -0500
+++ build_gtkintf_html_nosed.sh	2008-10-15 15:32:17.000000000 -0500
@@ -27,7 +27,8 @@ cd -
 # create description file list
 DescrFiles=''
 for unit in $UnitList; do
-  ShortFile=`echo $unit | sed -e 's/\.pp\b//g' -e 's/\.pas\b//g'`
+  ShortFile=${unit%.pp}
+  ShortFile=${ShortFile%.pas}
   DescrFiles="$DescrFiles --descr=../$XMLSrcDir$ShortFile.xml"
 done
 
