lib/Tools/document
changeset 32390 468eff174a77
parent 32322 45cb4a86eca2
child 48616 be8002ee43d8
--- a/lib/Tools/document	Fri Aug 21 19:06:12 2009 +0200
+++ b/lib/Tools/document	Sat Aug 22 17:08:06 2009 +0200
@@ -53,7 +53,7 @@
       OUTFORMAT="$OPTARG"
       ;;
     t)
-      ORIG_IFS="$IFS"; IFS=","; TAGS=($OPTARG); IFS="$ORIG_IFS"
+      splitarray "," "$OPTARG"; TAGS=("${SPLITARRAY[@]}")
       ;;
     \?)
       usage