[gcc r13-3871] doc: Use a separate directory for new modules we add to PATH

[gcc r13-3871] doc: Use a separate directory for new modules we add to PATH

[Martin Liska]

https://gcc.gnu.org/g:70f1c41061b2b55ed4cdc2e83c7cf326c7ebe7a4

commit r13-3871-g70f1c41061b2b55ed4cdc2e83c7cf326c7ebe7a4
Author: Arsen Arsenović <arsen@aarsen.me>
Date:   Wed Nov 9 22:31:34 2022 +0100

    doc: Use a separate directory for new modules we add to PATH
    
    ChangeLog:
    
            * doc/baseconf.py: Inject dirname(__file__)/'modules' to path
            instead of just ``.''.
            * doc/gcc_sphinx.py: Moved to...
            * doc/modules/gcc_sphinx.py: ...here.

Diff:
---
 doc/baseconf.py                 | 4 +++-
 doc/{ => modules}/gcc_sphinx.py | 0
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/baseconf.py b/doc/baseconf.py
index 47e3a126416..d85659e4540 100644
--- a/doc/baseconf.py
+++ b/doc/baseconf.py
@@ -13,7 +13,6 @@
 import os
 import time
 import sys
-# sys.path.insert(0, os.path.abspath('.'))
 
 # gccint needs a deeper stack limit
 sys.setrecursionlimit(2000)
@@ -23,8 +22,11 @@ sys.setrecursionlimit(2000)
 # The full version, including alpha/beta/rc tags
 
 folder = os.path.dirname(os.path.realpath(__file__))
+doc_modules = os.path.join(folder, 'modules')
 gcc_srcdir = os.path.join(folder, '..', 'gcc')
 
+sys.path.insert(0, doc_modules)
+
 def read_file(name):
     path = os.path.join(gcc_srcdir, name)
     if os.path.exists(path):
diff --git a/doc/gcc_sphinx.py b/doc/modules/gcc_sphinx.py
similarity index 100%
rename from doc/gcc_sphinx.py
rename to doc/modules/gcc_sphinx.py