doc: put release number in index.html.
doc: put release number in index.html.

* build-aux/config.ld.in (project): Add release number.

Signed-off-by: Gary V. Vaughan <f9023000f29773649f3850298becb9544b5fd6a9@gnu.org>

jimmyharris/luaposix,rrthomas/luaposix,zevv/luaposix,luaposix/luaposix,zevv/luaposix,ardje/luaposix,snegovick/luaposix,rrthomas/luaposix,jimmyharris/luaposix,snegovick/luaposix,ardje/luaposix