Re: gendocs.sh patch

[Karl Berry]

    With some losing shels, the "mv" command could fail if there's too
    many *.html files (Arg list too long).  So perhaps use find and xargs.

I doubt anyone will attempt to use gendocs.sh on such a losing machine.
If they do, they can submit the patch.

It's not going to get installed with "make install".  It's just there
for GNU maintainers, basically.

Thanks,
k