Hello,
On 11/06/2014 07:47 PM, Karl Berry wrote:
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.
Attached is an updated patch, this time adding "-G/--git" option to the
existing script 'build-aux/gnu-web-doc-update
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
Hello gnulib developers,
I'm experimenting with GIT-based repositories for the web pages at
http://www.gnu.org/software/XXX .
For details see here:
http://lists.gnu.org/archive/html/savannah-hackers-public/2014-11/msg1.html
The current gnulib script 'build-aux/gnu-web-update-doc-update' p
