Merge branch '12.0-one-doc-edi' of github.com:odoo/documentation-user into 12.0-one-doc-edi

This commit is contained in:
Antoine Vandevenne (anv) 2021-03-10 15:26:25 +01:00
commit d6fdb05d5e
2 changed files with 2 additions and 2 deletions

View File

@ -142,7 +142,7 @@ supported_languages = {
}
# The specifications of redirect rules used by the redirects extension.
redirects_file = '../redirects.txt'
redirects_file = 'redirects.txt'
#=== Options for HTML output ===#

View File

@ -12,7 +12,7 @@ TEMPLATE = '<html><head><meta http-equiv="refresh" content="0; url=%s"/></head><
logger = logging.getLogger(__name__)
def generate_redirects(app):
path = os.path.join(app.srcdir, app.config.redirects_file)
path = os.path.join(app.confdir, app.config.redirects_file)
if not os.path.exists(path):
logger.warning("Could not find redirects file at '%s'", path)
return