Hi Eric, On 5 Jun 2010, at 03:55, Eric Blake wrote:
> On 06/04/2010 02:52 PM, Gary V. Vaughan wrote: >> - Log ----------------------------------------------------------------- >> commit 4a649e5c369e3aa28887bb3f50dc6256811c99e6 >> Author: Gary V. Vaughan <g...@gnu.org> >> Date: Sat Jun 5 03:52:43 2010 +0700 >> >> Fix web manual generation details in release instructions. >> >> * HACKING (Release Procedure): Move the instruction for generating >> web manuals for a new release to before the instruction that bumps >> the version numbers to the post release values. > > Gnulib provides a tool, build-aux/gnu-web-doc-update, which takes care > of building the manual even if you have done commits in the meantime. > Perhaps it's worth looking into using it? Thanks, I'll take a look. Currently we automatically download and run the GNU gendocs.sh and gendoc_template at release time with Makefile.maint, which would work well if the instructions had been in the right order to start with ;) Cheers, -- Gary V. Vaughan (g...@gnu.org) _______________________________________________ http://lists.gnu.org/mailman/listinfo/libtool