diff options
author | Peter Maydell <peter.maydell@linaro.org> | 2017-02-17 18:59:28 +0000 |
---|---|---|
committer | Markus Armbruster <armbru@redhat.com> | 2017-02-20 14:11:07 +0100 |
commit | fea346f569d4132296f7c26367374fcace80e096 (patch) | |
tree | 7666001f3e70fac0742070cb8cde413d7f0856ba /docs/qemu-ga-ref.texi | |
parent | 1ede77dfd2220074c5ec3a1d1a25a5ec1ccbc17d (diff) |
Makefile: Put VERSION info into version.texi rather than using -D
Unfortunately some older versions of makeinfo don't correctly
handle the -D command line option and fail to set the variable.
This then causes them to complain
docs/qemu-ga-ref.texi:41: warning: undefined flag: VERSION
Work around this by doing as the autotools do, and writing
the information into a version.texi file which we then
include from the .texi files that need it.
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Eric Blake <eblake@redhat.com>
Message-Id: <1487357968-31000-1-git-send-email-peter.maydell@linaro.org>
Reviewed-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Diffstat (limited to 'docs/qemu-ga-ref.texi')
-rw-r--r-- | docs/qemu-ga-ref.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/qemu-ga-ref.texi b/docs/qemu-ga-ref.texi index 87cc8d01a5..ddb76ce1c2 100644 --- a/docs/qemu-ga-ref.texi +++ b/docs/qemu-ga-ref.texi @@ -1,6 +1,8 @@ \input texinfo @setfilename qemu-ga-ref.info +@include version.texi + @exampleindent 0 @paragraphindent 0 |