Document sed bug.

diff --git a/cfg-ml-pos.in b/cfg-ml-pos.in
index b66bb0799aec8b7303853c412784ae44dc5bed9d..34030986d42deef9c01ec9bbc927e5c627cf0ac9 100644 (file)
--- a/cfg-ml-pos.in
+++ b/cfg-ml-pos.in
@@ -12,6 +12,7 @@ if [ -z "${with_multisubdir}" ]; then
   multisubdir=
 else
   multisubdir="/${with_multisubdir}"
+  # The '[^/][^/]*' appears that way to work around a SunOS sed bug.
   dotdot=`echo ${with_multisubdir} | sed -e 's:[^/][^/]*:..:g'`
   # TOP is used by newlib and should not be used elsewhere for this purpose.
   # MULTITOP is the proper one to use.