diff --git a/docs/utils/number_headings.py b/docs/utils/number_headings.py index 8d53dd5e6..cf45c9b10 100755 --- a/docs/utils/number_headings.py +++ b/docs/utils/number_headings.py @@ -1,3 +1,9 @@ +""" +File: number_headings.py +Created Time: 2023-02-16 +Author: Krahets (krahets@163.com) +""" + import re def get_heading_info_from_nav(mkdocs_path):