On Mon, 15 Jul 2019 at 06:57, Markus Armbruster wrote:
>
> Recent commit 2f2c4e4731 "Convert "translator internals" docs to RST,
> move to devel manual" and commit 282d36b5e2 "qemu-tech.texi: Remove
> "QEMU compared to other emulators" section" removed @node, but left
> their @menu entries behind.
Recent commit 2f2c4e4731 "Convert "translator internals" docs to RST,
move to devel manual" and commit 282d36b5e2 "qemu-tech.texi: Remove
"QEMU compared to other emulators" section" removed @node, but left
their @menu entries behind. This broke building qemu-doc.info (but
not qemu-doc.{html,pdf,tx
