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

[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, then update
> $pkg/manual/.symlinks to redirect $pkg/manual/xyz to
> $pkg/manual/$pkg-$ver/xyz, so that the latest version of the manual
> appears at the usual locations but older versions are still accessible
> from their longer URL.  Any suggestions for a command-line interface that
> let gnu-web-doc-update should support this mode of operation?

Yes, that could be useful for any package with two or more
versions in wide use -- presuming differences in their documentation.

Maybe --dest-dir=$package-$version