diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2021-09-02 18:48:17 -0400 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2021-09-02 18:48:17 -0400 |
| commit | 868e28f309ec8d08bcdea913c3fc53b0ef55315f (patch) | |
| tree | 5e5d9a60fe1859960193ba166d09006c9cc4cc81 /tools/toc.py | |
| parent | 021702628c984294247e2a592fa107f5d8e3288a (diff) | |
Update usage doc comments for some tools/*.py scripts
Diffstat (limited to 'tools/toc.py')
| -rwxr-xr-x | tools/toc.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/toc.py b/tools/toc.py index 13b75ae1c..e3d719edf 100755 --- a/tools/toc.py +++ b/tools/toc.py @@ -3,6 +3,7 @@ """ Usage: python3 toc.py [-n] files.md... + Replace a "## TOC" heading in a Markdown file with a table of contents, generated from the other headings in the file. Supports multiple files. Headings must start with "##" signs to be detected. |