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 bebccbcb612a8f0dd93b07019e96f0584d27b98b..52d4cfcbec9e6130a49ae8d4383176dd7dfd1d9c 100644 (file)
--- 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.