Re: [bug-gsrc] manual out of date on website; what the world needs; automatic updates

[Brandon Invergo]

On Sun, 2016-03-20 at 23:50 -0700, carl hansen wrote:
> On http://www.gnu.org/software/gsrc/manual/ we see
> "last updated October 07, 2013"

Ah damn, looks like I forgot to update that...multiple times. :/  Thanks
for catching it.

> How can we set up a cron job that checks the texi files in the
> repository for modification time and , if needed, automatically
> creates up-to-date manuals, online and other formats. I am willing to
> work on this if I knew what's on which server. I already have an
> account on fencepost. And i know my way around a crontab.
> 
> Help save world, remove incorrect information.

In Savannah, you have access to the web page sources (go to the Source
Code menu at the top and then "Use CVS", instructions are there for
checking out the web page sources; committing changes automatically
generates the new pages).  The manual is generated from the gendocs.sh
script in gnulib.  So it's a matter of running that script, directing
the output to the webpage repository check-out and committing those
changes.

Anyway, I can do it tonight when I get home from work.

-brandon