Re: build-aux/gnu-web-update-doc-update-git

[Karl Berry]

    I'd like to ask for your feedback regarding the attached script, which does 
the same but pushes updates to the GIT repositories.

My feedback is that instead of being a separate script that is mostly
the same, it seems like it would be better as an option.  Even better,
it seems like it would be easy enough to intuit whether to use git or
cvs, by looking for the presence of a CVS directory.

It also seems premature to me to be worrying about this third-level
support, but anyway, no harm I guess.

karl