diff options
author | Holger Wansing <hwansing@mailbox.org> | 2020-01-10 23:54:23 +0100 |
---|---|---|
committer | Holger Wansing <hwansing@mailbox.org> | 2020-01-10 23:54:23 +0100 |
commit | 3abfa9584979239c5357473ca105524744f358cb (patch) | |
tree | 679bd3619bfc324ca517cdc426981b7a5ff1527f /en | |
parent | b859ccfa746195391c46ef021366d1ddb55d4723 (diff) | |
download | installation-guide-3abfa9584979239c5357473ca105524744f358cb.zip |
Add a build version to the manual, parsed from debian/changelog
Diffstat (limited to 'en')
-rw-r--r-- | en/bookinfo.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/en/bookinfo.xml b/en/bookinfo.xml index bd6f2e111..f93774f18 100644 --- a/en/bookinfo.xml +++ b/en/bookinfo.xml @@ -74,5 +74,9 @@ under the terms of the GNU General Public License. Please refer to the license in <xref linkend="appendix-gpl"/>. </para> + +<para> +Build version of this manual: &debversion;. +</para> </legalnotice> </bookinfo> |