diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2017-06-06 16:59:37 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2017-06-15 11:18:40 +0200 |
| commit | 44cb280d3325395cbebad09e20622423055a4d7a (patch) | |
| tree | 86ccb6c5dee75032ff672eb8a46d3e4f703e5084 /qemu-doc.texi | |
| parent | d59157ea058b55b95f27675b33275ffe0f4c7bd6 (diff) | |
qemu-doc: include version number
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'qemu-doc.texi')
| -rw-r--r-- | qemu-doc.texi | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/qemu-doc.texi b/qemu-doc.texi index 965ba5929e..21079fd675 100644 --- a/qemu-doc.texi +++ b/qemu-doc.texi @@ -1,11 +1,12 @@ \input texinfo @c -*- texinfo -*- @c %**start of header @setfilename qemu-doc.info +@include version.texi @documentlanguage en @documentencoding UTF-8 -@settitle QEMU Emulator User Documentation +@settitle QEMU version @value{VERSION} User Documentation @exampleindent 0 @paragraphindent 0 @c %**end of header @@ -19,7 +20,7 @@ @iftex @titlepage @sp 7 -@center @titlefont{QEMU Emulator} +@center @titlefont{QEMU version @value{VERSION}} @sp 1 @center @titlefont{User Documentation} @sp 3 |