aboutsummaryrefslogtreecommitdiff
path: root/docs/sphinx/hxtool.py
AgeCommit message (Expand)AuthorFilesLines
2020-03-12docs/sphinx/hxtool.py: Remove STEXI/ETEXI supportPeter Maydell1-24/+4
2020-03-06doc/scripts/hxtool.py: Strip trailing ':' from DEFHEADING/ARCHHEADINGPeter Maydell1-4/+6
2020-02-03docs/sphinx: Add new hxtool Sphinx extensionPeter Maydell1-0/+210