[PATCH 0/8] More automation in generation/upload of web manuals

[Stefano Lattarini]

So we'll have even less clerical work when making a release.  I will
push this series by tomorrow if there is no objection.

Regards,
  Stefano

-*-*-*-

Stefano Lattarini (8):
  release: automate uploading of web manuals in CVS
  docs: build the web manuals for CVS in the builddir, not in the srcdir
  cosmetic: minor variable and rules reordering in Makefile.am
  maint: rename rules to build/upload web manuals
  maint: factor out the name of the dir where web manuals are generated
  maint: add an explicative comment in Makefile
  HACKING: update instructions to update the manuals at www.gnu.org
  HACKING: minor formatting changes, for better clarity

 HACKING      | 37 ++++++++++++++++++-----
 Makefile.am  | 99 +++++++++++++++++++++++++++++++++++++++++++-----------------
 configure.ac |  2 ++
 3 files changed, 103 insertions(+), 35 deletions(-)

-- 
1.8.0.1.347.gf94c325