diff --git a/doc_src/conf.py b/doc_src/conf.py index 9b2b79085..432ea8b66 100644 --- a/doc_src/conf.py +++ b/doc_src/conf.py @@ -162,7 +162,8 @@ language = "en" # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. # This pattern also affects html_static_path and html_extra_path. -exclude_patterns = [] +fish_exclude_patterns = "cmds/*.inc.rst" +exclude_patterns = [fish_exclude_patterns] # The name of the Pygments (syntax highlighting) style to use. pygments_style = None @@ -265,7 +266,7 @@ man_pages = [ ), ("faq", "fish-faq", "", [author], 1), ] -for path in sorted(set(glob("cmds/*.rst")) - set(glob("cmds/*.inc.rst"))): +for path in sorted(set(glob("cmds/*.rst")) - set(glob(fish_exclude_patterns))): docname = os.path.splitext(path)[0] cmd = os.path.basename(docname) man_pages.append((docname, cmd, get_command_description(path, cmd), "", 1)) diff --git a/share/help_sections b/share/help_sections index 5bd5b5a34..1b494cbbe 100644 --- a/share/help_sections +++ b/share/help_sections @@ -56,7 +56,6 @@ cmds/fish_status_to_signal cmds/fish_svn_prompt cmds/fish_tab_title cmds/fish_title -cmds/fish_title.inc cmds/fish_update_completions cmds/fish_vcs_prompt cmds/fish_vi_key_bindings