[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gnu-web-doc-update: fails to add new directories
From: |
Jim Meyering |
Subject: |
Re: gnu-web-doc-update: fails to add new directories |
Date: |
Thu, 13 Dec 2012 15:35:46 +0100 |
Akim Demaille wrote:
> The Bison's documentation now uses images, including in HTML.
> gendocs.sh properly sets up a directory with the images for all the
> documentation formats. Unfortunately gnu-web-doc-update fails to add
> all the new files, because it fails to discover new directories.
>
> My CVS-skills are, ahem, rusty, and I have never been a cvsutils user,
> so I don't know if the bug is in cvsu or gnu-web-doc-update, but the
> problem is in these bits:
>
> (
> cd $tmp/$pkg/manual
>
> # Add any new files:
> $CVSU --types='?' \
> | sed s/..// \
> | $XARGS --no-run-if-empty -- $CVS add -ko
>
> $CVS ci -m $version
> )
>
> in Bison's case, the unknown directories are not reported as "?", but as "D":
...
>
> So I don't know if gnu-web-doc-update should learn about --type=D,
> or if cvsu should mention unknown directories with '?'.
Hi Akim!
Thanks for the investigation and report.
If using --types='?D' makes it work, I'd go with that:
that seems simpler than changing the external cvsu program.
- gnu-web-doc-update: fails to add new directories, Akim Demaille, 2012/12/13
- Re: gnu-web-doc-update: fails to add new directories,
Jim Meyering <=
- Re: gnu-web-doc-update: fails to add new directories, Akim Demaille, 2012/12/13
- Re: [off-list] CVS pains, Simon Josefsson, 2012/12/13
- Re: [off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories), Karl Berry, 2012/12/13
- Re: [off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories), Stefano Lattarini, 2012/12/14
- Re: [off-list] CVS pains, Thien-Thi Nguyen, 2012/12/14
- Re: [off-list] CVS pains, Karl Berry, 2012/12/14
- Re: [off-list] CVS pains, Thien-Thi Nguyen, 2012/12/15