Re: gnu-web-doc-update and versioned manuals

2010-03-01 Thread Jim Meyering
Eric Blake wrote: > Having just released m4-1.4.14, I noticed that gnu-web-doc-update is > currently hardcoded to put the updated manual directly in $pkg/manual. > But it seems like it might be nicer to support versioned manuals: both m4 > and autoconf copy the new manual into $pkg/manual/$pkg-$ver

gnu-web-doc-update and versioned manuals

2010-03-01 Thread Eric Blake
Having just released m4-1.4.14, I noticed that gnu-web-doc-update is currently hardcoded to put the updated manual directly in $pkg/manual. But it seems like it might be nicer to support versioned manuals: both m4 and autoconf copy the new manual into $pkg/manual/$pkg-$ver, then update $pkg/manual/