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 /Makefile.objs | |
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 'Makefile.objs')
0 files changed, 0 insertions, 0 deletions