From a9c7fc76e9857690f47a1e780f0e303c7d0f272b Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Thu, 3 Mar 2016 23:20:06 +0530 Subject: [PATCH] ... --- manual/cli-options-header.rst | 1 + manual/custom.py | 5 +++-- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/manual/cli-options-header.rst b/manual/cli-options-header.rst index f8808c230c..590f5eb0db 100644 --- a/manual/cli-options-header.rst +++ b/manual/cli-options-header.rst @@ -1,2 +1,3 @@ [options] ---------------- + diff --git a/manual/custom.py b/manual/custom.py index c3c12f4326..3e3dc67476 100644 --- a/manual/custom.py +++ b/manual/custom.py @@ -26,8 +26,9 @@ def source_read_handler(app, docname, source): src = re.sub(r'(\s+generated/)en/', r'\1' + app.config.language + '/', src) # Sphinx does not call source_read_handle for the .. include directive for m in reversed(tuple(include_pat.finditer(src))): - ss = [open(m.group(1).lstrip('/')).read().decode('utf-8')] - source_read_handler(app, m.group(1).partition('.')[0], ss) + included_doc_name = m.group(1).lstrip('/') + ss = [open(included_doc_name).read().decode('utf-8')] + source_read_handler(app, included_doc_name.partition('.')[0], ss) src = src[:m.start()] + ss[0] + src[m.end():] source[0] = src