Re: gnu-web-doc-update: fails to add new directories

2016-01-24 Thread Akim Demaille
Hi Pádraig! > Le 20 janv. 2016 à 15:16, Pádraig Brady a écrit : > > On 15/12/12 20:41, Jim Meyering wrote: >> Akim Demaille wrote: >>> Le 13 déc. 2012 à 18:06, Jim Meyering a écrit : >>> > cvsu does not report that there are directories and files inside the > 'D's. Is it wrong to simp

Re: gnu-web-doc-update: fails to add new directories

2016-01-20 Thread Pádraig Brady
On 15/12/12 20:41, Jim Meyering wrote: > Akim Demaille wrote: >> Le 13 déc. 2012 à 18:06, Jim Meyering a écrit : >> cvsu does not report that there are directories and files inside the 'D's. Is it wrong to simply cvs add everything that is there? Just skipping CVS, but adding all t

Re: gnu-web-doc-update: fails to add new directories

2012-12-16 Thread Akim Demaille
Le 15 déc. 2012 à 23:07, Jim Meyering a écrit : > Akim Demaille wrote: > ... >>> Did you intend to remove this comment? >>> I know they're also in --help output, but it's probably >>> best to leave them at the top, too. >>> -# Run this after each non-alpha release, to update the web docume

Re: gnu-web-doc-update: fails to add new directories

2012-12-15 Thread Jim Meyering
Akim Demaille wrote: ... >> Did you intend to remove this comment? >> I know they're also in --help output, but it's probably >> best to leave them at the top, too. >> >>> -# Run this after each non-alpha release, to update the web documentation at >>> -# http://www.gnu.org/software/$pkg/manual/ >

Re: gnu-web-doc-update: fails to add new directories

2012-12-15 Thread Akim Demaille
hi Jim! Le 15 déc. 2012 à 21:41, Jim Meyering a écrit : > Thanks for working on this! Retour d'ascenseur :) I'm using gnulib, so it's just fair. >> +This script assumes you're using git for revision control, and >> +requires a .prev-version file as well as a Makefile, from which it >> +extract

Re: gnu-web-doc-update: fails to add new directories

2012-12-15 Thread Jim Meyering
Akim Demaille wrote: > Le 13 déc. 2012 à 18:06, Jim Meyering a écrit : > >>> cvsu does not report that there are directories and files inside the >>> 'D's. Is it wrong to simply cvs add everything that is there? >>> Just skipping CVS, but adding all the rest using "find"? >>> Say "find . -name CV

Re: gnu-web-doc-update: fails to add new directories

2012-12-14 Thread Akim Demaille
Le 13 déc. 2012 à 18:06, Jim Meyering a écrit : >> cvsu does not report that there are directories and files inside the >> 'D's. Is it wrong to simply cvs add everything that is there? >> Just skipping CVS, but adding all the rest using "find"? >> Say "find . -name CVS -prune -o -print". > > T

Re: [off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories)

2012-12-14 Thread Stefano Lattarini
On 12/13/2012 11:53 PM, Karl Berry wrote: > > 3) Everyone agrees it would be nice to support different VCs for web > pages. Nobody needs "convincing". > This is good to know. > Maybe it will happen some day. > I hope so. It's not a big deal actually (since as Jim noted, most of the process is hi

Re: [off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories)

2012-12-13 Thread Karl Berry
Wouldn't it be great if someone could convince the Savannah admin 1) It's not a matter of just changing savannah. There are numerous (*numerous*) processes involved with web pages repositories, most of which are written, maintained, and controlled by the FSF sysadmins, not Savannah. FSF sysa

Re: gnu-web-doc-update: fails to add new directories

2012-12-13 Thread Jim Meyering
Akim Demaille wrote: > Le 13 déc. 2012 à 15:35, Jim Meyering a écrit : > >> Hi Akim! > > Hi Jim! > >> 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. > > OK. But it will require some

[off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories)

2012-12-13 Thread Stefano Lattarini
Ah, we all git lovers still forced to deal with that living fossil of CVS! Wouldn't it be great if someone could convince the Savannah admin to switch the web pages repository to a modern, distributed VCS? (Me ducks and run now ;-). Regards, Stefano

Re: gnu-web-doc-update: fails to add new directories

2012-12-13 Thread Akim Demaille
Le 13 déc. 2012 à 15:35, Jim Meyering a écrit : > Hi Akim! Hi Jim! > 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. OK. But it will require some implementation of a fix point. $

Re: gnu-web-doc-update: fails to add new directories

2012-12-13 Thread Jim Meyering
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. > >