From 8546b2963cd7970878ae8b5f1f38f19afd114fdc Mon Sep 17 00:00:00 2001
From: myk002 <myk002@yahoo.com>
Date: Fri, 23 Sep 2022 15:58:31 -0700
Subject: [PATCH] tool docs are no longer toc-orphaned

---
 conf.py | 2 --
 1 file changed, 2 deletions(-)

diff --git a/conf.py b/conf.py
index 2742e18f0..661b0daea 100644
--- a/conf.py
+++ b/conf.py
@@ -73,13 +73,11 @@ def write_tool_docs():
     the original documentation.
     """
     for k in doc_all_dirs():
-        header = ':orphan:\n'
         label = ('.. _{name}:\n\n').format(name=k[0])
         include = ('.. include:: /{path}\n\n').format(path=k[1])
         os.makedirs(os.path.join('docs/tools', os.path.dirname(k[0])),
                     mode=0o755, exist_ok=True)
         with write_file_if_changed('docs/tools/{}.rst'.format(k[0])) as outfile:
-            outfile.write(header)
             if k[0] != 'search':
                 outfile.write(label)
             outfile.write(include)