aboutsummaryrefslogtreecommitdiff
path: root/docs/sphinx/hxtool.py
AgeCommit message (Expand)AuthorFilesLines
2024-07-12docs: remove Sphinx 1.x compatibility codeJohn Snow1-17/+4
2024-02-02doc/sphinx/hxtool.py: add optional label argument to SRST directiveDavid Woodhouse1-0/+16
2023-10-17docs/sphinx: avoid invalid escape in Python stringPaolo Bonzini1-1/+1
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