sed...u error

[Karl Berry]

As of a couple days ago, ./MODULES.html.sh --cvs-urls started getting the
following errors:
sed: -e expression #1, char 12: unknown command: `u'
sed: -e expression #1, char 12: unknown command: `u'
sed: -e expression #1, char 12: unknown command: `u'
sed: -e expression #1, char 12: unknown command: `u'
sed: -e expression #1, char 12: unknown command: `u'

bash -vx shows that the problem happens here:
++ sed -e '/^unistdio/u-printf-args\.h$/d' -e 's,^\(.*\)$,<A 
HREF="http://cvs.sv.gnu.org/viewcvs/*checkout*/gnulib/lib/\1?root=gnulib\&content-type=text/plain";>\1</A>,'
 -e 's/$/<BR>/'
sed: -e expression #1, char 12: unknown command: `u'

which corresponds to this source (line 1446):
             | sed -e '/^'"${includefile}"'$/d' \

And the problem is that ${includefile} is not directly in lib.  
That is, modules/unistdio/u-printf-args contains:
lib/unistdio/u-printf-args.h

So there is a / in the sed address we are giving to d.

What I don't understand is why there are only five occurrences of the
sed error.  There are many more lib/unistdio/* entries than that.
Anyway, using something other than / as the delimiter fixes the problem:
1445c1445
<              | sed -e '/^'"${includefile}"'$/d' \
---
>              | sed -e '\|^'"${includefile}"'$|d' \

Bruno, shall I apply that, or is there a better way?

karl