diff options
| author | Konstantin Kirik (snegovick) <snegovick@uprojects.org> | 2025-12-09 10:48:24 +0300 |
|---|---|---|
| committer | Konstantin Kirik (snegovick) <snegovick@uprojects.org> | 2025-12-09 10:48:24 +0300 |
| commit | a7fc468817c9cf553f383e728b555b57b647b146 (patch) | |
| tree | 6d9aa30ef9583bb0da141bf237b9df5fe0e79a75 /man/lib | |
| parent | c208dfe85d21361dfb2a7060957cb3ad0bc478e8 (diff) | |
Skip INDEX files in mksectionindex script
Diffstat (limited to 'man/lib')
| -rw-r--r-- | man/lib/mksectionindex.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/man/lib/mksectionindex.py b/man/lib/mksectionindex.py index f9b3bf75..e1a84926 100644 --- a/man/lib/mksectionindex.py +++ b/man/lib/mksectionindex.py @@ -30,6 +30,8 @@ if __name__ == "__main__": """ for f in os.listdir(): + if f == 'INDEX': + continue index_file += f"<a href=\"{prefix}{section}/{f}.html\">{f}</a>\n" index_file += "</pre></body></html>" |