aboutsummaryrefslogtreecommitdiff
path: root/docs/sphinx/hxtool.py
AgeCommit message (Expand)Author
2024-02-02doc/sphinx/hxtool.py: add optional label argument to SRST directiveDavid Woodhouse
2023-10-17docs/sphinx: avoid invalid escape in Python stringPaolo Bonzini
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