diff options
| author | Jeff Epler <jepler@gmail.com> | 2020-06-26 15:28:20 -0500 |
|---|---|---|
| committer | Jeff Epler <jepler@gmail.com> | 2020-06-26 15:28:20 -0500 |
| commit | e40539cacadd2967b8cdedf79963903d0668c1ca (patch) | |
| tree | fc85ad41bb4953d29d56d6f4f05d7eb8b530778b | |
| parent | 56367b197bdf8b6d4adced23b128fb45d17fbd27 (diff) | |
docs: conf.py: fix logging about reidrects
| -rw-r--r-- | conf.py | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -391,13 +391,13 @@ TEMPLATE = """<html> def generate_redirects(app): path = os.path.join(app.srcdir, app.config.redirects_file) if not os.path.exists(path): - logging.info("Could not find redirects file at '%s'" % path) + logging.error("Could not find redirects file at '%s'" % path) return - logging.warn(f"Builder is {app.builder.name} ({type(app.builder)})") if not isinstance(app.builder, builders.StandaloneHTMLBuilder): logging.warn("The 'sphinxcontib-redirects' plugin is only supported " "by the 'html' builder and subclasses. Skipping...") + logging.warn(f"Builder is {app.builder.name} ({type(app.builder)})") return with open(path) as redirects: |