]> git.ipfire.org Git - thirdparty/coreutils.git/commit
projects / thirdparty / coreutils.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd0fdef) | patch
doc: show version in title of HTML manual
authorBernhard Voelker <mail@bernhard-voelker.de>
Tue, 28 Jul 2020 21:28:45 +0000 (23:28 +0200)
committerBernhard Voelker <mail@bernhard-voelker.de>
Tue, 28 Jul 2020 21:30:11 +0000 (23:30 +0200)
commit881c3f20ec435a9c57390853483942fa1101c32b
tree09f7ad81ba3c26003c4203229ada6f4919b1b572tree
parentfd0fdeff94c87149f1824e363a35626723d78597commit | diff
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
doc/coreutils.texi diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/coreutils.git