On 3/6/20 9:17 AM, Peter Maydell wrote: > Peter Maydell (7): > Makefile: Remove redundant Texinfo related code > Update comments in .hx files that mention Texinfo > hxtool: Remove Texinfo generation support > docs/sphinx/hxtool.py: Remove STEXI/ETEXI support > Makefile: Make all Sphinx documentation depend on the extensions > docs/index.rst, docs/index.html.in: Reorder manuals > docs/qemu-option-trace.rst.inc: Remove redundant comment
Reviewed-by: Richard Henderson <richard.hender...@linaro.org> r~