aboutsummaryrefslogtreecommitdiff
path: root/tools/regenerate_docs.py
AgeCommit message (Collapse)AuthorFilesLines
2021-03-04various python neatness cleanupsEli Schwartz1-1/+1
All changes were created by running "pyupgrade --py3-only --keep-percent-format" and committing the results. I have not touched string formatting for now. - use set literals - simplify .format() parameter naming - remove __future__ - remove default "r" mode for open() - use OSError rather than compatibility aliases - remove stray parentheses in function(generator) scopes
2021-01-10Hotdoc: use template for Commands.md instead of generating the entire file ↵Eli Schwartz1-14/+6
(#8154) * doc: fix hotdoc misuse for dynamically generated content hotdoc has a native include feature for including files inline. Use this to generate one file for each dynamically generated code block, and include that file in Commands.md; see: https://hotdoc.github.io/syntax-extensions.html#smart-file-inclusion-syntax This permits us to move back to using the in-tree version of the hotdoc *.md sources, thus fixing the incorrect inclusion of "builddir/" in the "Edit on github" links which resulted from using copies as the source. Fixes #8061 * doc: call the dummy file a "stamp" as it is a better known term
2020-09-08typing: fully annotate toolsDaniel Mensinger1-8/+8
2020-06-30Made Commands.md dynamically generated (#7346)TheQwertiest1-0/+150