On 2020-07-16 00:59, Jonny Grant wrote: > On 15/06/2020 21:57, Bernhard Voelker wrote: >> Hmm, in the HTML format, this is the first sentence after the table of >> contents: >> >> "This manual documents version 8.32 of the GNU core utilities, ..." > > Hi Berny > Just to reply on this item. > > Ah ok, on the HTML page that is still 12 pages after the first page. It would > be nice to see it below the title? Before the TOC. > https://www.gnu.org/software/coreutils/manual/coreutils.html > > I didn't search through for the version number, I missed it, as it wasn't at > the top, or at the end.
The attached adds the version to the title of the HTML manual. E.g. grep also has it: https://www.gnu.org/software/grep/manual/html_node/index.html @Padraig: okay to push? Have a nice day, Berny
>From 881c3f20ec435a9c57390853483942fa1101c32b Mon Sep 17 00:00:00 2001 From: Bernhard Voelker <m...@bernhard-voelker.de> Date: Tue, 28 Jul 2020 23:28:45 +0200 Subject: [PATCH] doc: show version in title of HTML manual * doc/coreutils.texi (@include version.texi): Move before ... (@settitle): ... this. Add the version after the package name. Suggested by Jonny Grant <j...@jguk.org> in https://lists.gnu.org/r/bug-coreutils/2020-07/msg00021.html --- doc/coreutils.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/coreutils.texi b/doc/coreutils.texi index bebccbcb6..52d4cfcbe 100644 --- a/doc/coreutils.texi +++ b/doc/coreutils.texi @@ -1,13 +1,13 @@ \input texinfo @c %**start of header @setfilename coreutils.info -@settitle GNU Coreutils +@include version.texi +@settitle GNU Coreutils @value{VERSION} @documentencoding UTF-8 @allowcodebreaks false @c %**end of header -@include version.texi @include constants.texi @c Define new indices. -- 2.27.0
