The following changes since commit 5ea8ec2fcf57cb9af24ad2cf17b4d64adb03afdf:
Merge remote-tracking branch 'remotes/maxreitz/tags/pull-block-2019-07-15'
into staging (2019-07-15 16:11:47 +0100)
are available in the Git repository at:
git://repo.or.cz/qemu/armbru.git tags/pull-build-2019-07-15
for you to fetch changes up to 32481687e1a262a9ca0083f8e938d7b0614d823b:
qemu-tech: Fix dangling @menu entries (2019-07-15 21:10:29 +0200)
----------------------------------------------------------------
Build system and documentation patches for 2019-07-15
----------------------------------------------------------------
Markus Armbruster (3):
Makefile: Fix "make install" when "make all" needs work
Makefile: Fix missing dependency of on qemu-tech.texi
qemu-tech: Fix dangling @menu entries
Makefile | 4 +++-
qemu-tech.texi | 3 ---
2 files changed, 3 insertions(+), 4 deletions(-)
--
2.21.0
