diff options
author | Martin Liska <mliska@suse.cz> | 2022-11-09 21:16:49 +0100 |
---|---|---|
committer | Martin Liska <mliska@suse.cz> | 2022-11-10 06:32:38 +0100 |
commit | dd31c6923fbe8352f7efa830c47c6d0ab31cfce8 (patch) | |
tree | e43d3d6a774bdf29e5a05aea2eeb455fff75dfbb | |
parent | 70f1c41061b2b55ed4cdc2e83c7cf326c7ebe7a4 (diff) | |
download | gcc-dd31c6923fbe8352f7efa830c47c6d0ab31cfce8.zip gcc-dd31c6923fbe8352f7efa830c47c6d0ab31cfce8.tar.gz gcc-dd31c6923fbe8352f7efa830c47c6d0ab31cfce8.tar.bz2 |
doc: Modernize baseconf.py.
ChangeLog:
* doc/baseconf.py: Modernize by using pathlib.
-rw-r--r-- | doc/baseconf.py | 34 |
1 files changed, 18 insertions, 16 deletions
diff --git a/doc/baseconf.py b/doc/baseconf.py index d85659e..8021a10 100644 --- a/doc/baseconf.py +++ b/doc/baseconf.py @@ -11,29 +11,31 @@ # documentation root, use os.path.abspath to make it absolute, like shown here. # import os -import time import sys +import time +from pathlib import Path -# gccint needs a deeper stack limit -sys.setrecursionlimit(2000) +# Build paths and add path to gcc_sphinx.py extension. +folder = Path(__file__).resolve().parent +doc_modules = folder / 'modules' +gcc_srcdir = folder / '..' / 'gcc' -# -- Project information ----------------------------------------------------- +sys.path.insert(0, str(doc_modules)) -# The full version, including alpha/beta/rc tags +# gccint needs a deeper stack limit. +sys.setrecursionlimit(2000) -folder = os.path.dirname(os.path.realpath(__file__)) -doc_modules = os.path.join(folder, 'modules') -gcc_srcdir = os.path.join(folder, '..', 'gcc') +# -- Project information ----------------------------------------------------- -sys.path.insert(0, doc_modules) def read_file(name): - path = os.path.join(gcc_srcdir, name) - if os.path.exists(path): + path = gcc_srcdir / name + if path.exists(): return open(path).read().strip() else: return '' + def __get_builder_name(): if '-b' in sys.argv: return sys.argv[sys.argv.index('-b') + 1] @@ -124,14 +126,14 @@ html_theme_options = { 'navigation_with_keys': True, } -html_logo = os.path.join(folder, 'logo.svg') +html_logo = str(folder / 'logo.svg') -html_favicon = os.path.join(folder, 'favicon.ico') +html_favicon = str(folder / 'favicon.ico') html_last_updated_fmt = '' html_static_path = [ - os.path.join(folder, '_static') + str(folder / '_static') ] html_css_files = [ @@ -149,7 +151,7 @@ suppress_warnings = [ # Use xelatex by default latex_engine = 'xelatex' -latex_logo = os.path.join(folder, 'logo.pdf') +latex_logo = str(folder / 'logo.pdf') latex_elements = { 'pointsize': '11pt', @@ -215,4 +217,4 @@ def set_common(name, module): module['tags'].add('development') html_theme_options['source_edit_link'] = f'https://gcc.gnu.org/onlinedocs/{name}' \ - '/_sources/{filename}.txt' + '/_sources/{filename}.txt' |