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

2013-10-10 Thread Reuben Thomas
On 10 October 2013 13:57, Eric Blake wrote: > I'm suggesting that your cfg.mk is flawed. maint.mk is expanding: > > "$(PACKAGE_NAME) - $(manual_title)" > > already in double quotes. If your cfg.mk has: > > manual_title="Hello, GNU World" > > then that would explain the botched shell command. I

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

2013-10-10 Thread Eric Blake
On 10/10/2013 04:32 AM, Reuben Thomas wrote: > On 10 October 2013 04:13, Eric Blake 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/bas

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

2013-10-10 Thread Reuben Thomas
On 10 October 2013 04:13, Eric Blake 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'

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

2013-10-09 Thread Eric Blake
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 \ >

Apparent problem with "make web-manual-update"

2013-10-09 Thread Reuben Thomas
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 bug-