add pageinfo.py tool (#2816)

This commit is contained in:
Nick Veitch
2025-02-05 14:53:06 +00:00
committed by GitHub
parent 22e4ff8f17
commit 90e4c1fa41
2 changed files with 99 additions and 0 deletions

5
.gitignore vendored
View File

@@ -16,3 +16,8 @@ __pycache__/
## Ignore pyenv configuration
.python-version
## Ignore ephemeral doc-tool output
output.csv
_doctools/*.csv