Index: work/doc/distalign/gen_pngs.sh
===================================================================
--- work/doc/distalign/gen_pngs.sh	(revision 18474)
+++ work/doc/distalign/gen_pngs.sh	(revision 18475)
@@ -3,7 +3,7 @@
 echo -n "Building Image Files"
 
 for name in "$@" ; do
-	fname=`printf "%s" $name | tr "[]" "()"`
+	fname=`echo "$name" | tr "[]" "()"`
 	bname=${i##*/}
 	bname=${bname%%.png}
 	case $bname in