Re: Apparent problem with "make web-manual-update"

[Reuben Thomas]

On 10 October 2013 04:13, Eric Blake <address@hidden> wrote:

On 10/09/2013 06:12 PM, Reuben Thomas wrote:
> The end of the make log goes:
>
> test -z ""Hello, GNU World"" \
>       && { echo define manual_title in cfg.mk 1>&2; exit 1; } || :
> /bin/bash: line 0: test: too many arguments
> cd './doc'; \
>       /bin/bash ../build-aux/gendocs.sh  \
>          -o '/home/rrt/repo/hello/doc/manual' \
>          --email address@hidden hello \
>         "GNU Hello - "Hello, GNU World""

Looks like too many "" in a make variable, such that the shell is
getting a different set of arguments than intended.  Should there be
some \" in there somewhere?

Just to be clear, are you suggesting there's something wrong in the input? or in the code? (Not quite sure whether you're saying I should be checking hello's auto* inputs.)

--
http://rrt.sc3d.org