bug-gnulib
[Top][All Lists]
Advanced

[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.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]