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

bug-texinfo

From:	Karl Berry
Subject:	Re: [patch] Use "($cmd)" in place of "$(cmd)" in gendocs.sh
Date:	Sun, 14 Feb 2010 23:20:51 GMT

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

Definitely not.  Installed.  Thanks.

Current Thread

[Next in Thread]

[patch] Use "($cmd)" in place of "$(cmd)" in gendocs.sh, Ben Pfaff, 2010/02/14
- Re: [patch] Use "($cmd)" in place of "$(cmd)" in gendocs.sh, Karl Berry <=