aboutsummaryrefslogtreecommitdiff
path: root/docs/sphinx/hxtool.py
AgeCommit message (Expand)Author
2020-03-12docs/sphinx/hxtool.py: Remove STEXI/ETEXI supportPeter Maydell
2020-03-06doc/scripts/hxtool.py: Strip trailing ':' from DEFHEADING/ARCHHEADINGPeter Maydell
2020-02-03docs/sphinx: Add new hxtool Sphinx extensionPeter Maydell