Re: [patch] Use "($cmd)" in place of "$(cmd)" in gendocs.sh

[Karl Berry]

    that for some weird reason it makes sense to use command
    substitution here.  But I doubt it.

Definitely not.  Installed.  Thanks.