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.