From: Bernhard Voelker <mail@bernhard-voelker.de>
Date: Tue, 28 Jul 2020 21:28:45 +0000 (+0200)
Subject: doc: show version in title of HTML manual
X-Git-Tag: v9.0~208
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=881c3f20ec435a9c57390853483942fa1101c32b;p=thirdparty%2Fcoreutils.git

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 <jg@jguk.org> in
https://lists.gnu.org/r/bug-coreutils/2020-07/msg00021.html
---

diff --git a/doc/coreutils.texi b/doc/coreutils.texi
index bebccbcb61..52d4cfcbec 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.