Commit a778e9e1dcf606c9cee31009c982daa748438b39

Stefano Lattarini 2011-11-03T11:37:30

Merge branch 'maint' * maint: maint-mode: fix botched configure messages fix: regenerate Makefiles info: allow user to inhibit creation/update of '${infodir}/dir'