[Qemu-devel] [PULL 0/3] Build system and documentation patches for 2019-07-15

[Markus Armbruster]

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