diff options
| -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>" |