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 /.gitignore | |
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 '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index c563dc175f..2849d756cc 100644 --- a/.gitignore +++ b/.gitignore @@ -107,6 +107,7 @@ docs/qemu-ga-ref.info* docs/qemu-qmp-ref.info* /qemu-ga-qapi.texi /qemu-qapi.texi +/version.texi *.tps .stgit-* cscope.* |