[FYI] Merge branch 'maint' into master

commit d7a59576910338592410afd23bb726348fa59000 Merge: 6a38d74 319ae3d Author: Stefano Lattarini Date: Sun Dec 9 21:55:32 2012 +0100 Merge branch 'maint' * maint: docs: AM_CFLAGS: remove reference to non-existing "more detailed" desc maintcheck: prefer '$(am__cd)' over plai

Re: [PATCH 0/6] More automation in the release procedure

On 12/08/2012 09:42 PM, Stefano Lattarini wrote: > Hello automakers. > > After some rounds of testing of 'maint', today I decided the time was > almost ripe for a 1.12.6 release. Just after thinking that, I thought > "Nooo, here it comes another load of clerical work required by the > release pro

Re: [PATCH 5/6] docs: add rule to generate manuals for www.gnu.org

On 12/08/2012 09:42 PM, Stefano Lattarini wrote: > Less clerical work to do by hand. > > * Makefile.am (web-manuals): New rule. > (clean_texinfo_clutter): New macro. > * clean-web-manuals, clean-texinfo-clutter: New cleaning > rules. > (clean-local): Depend on them. > * .gitignore: Update. > * HAC