diff options
-rw-r--r-- | Documentation/sphinx/load_config.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/sphinx/load_config.py b/Documentation/sphinx/load_config.py index 101e6f0b0fcf..eeb394b39e2c 100644 --- a/Documentation/sphinx/load_config.py +++ b/Documentation/sphinx/load_config.py | |||
@@ -35,7 +35,7 @@ def loadConfig(namespace): | |||
35 | latex_documents = namespace['latex_documents'] | 35 | latex_documents = namespace['latex_documents'] |
36 | 36 | ||
37 | for l in latex_documents: | 37 | for l in latex_documents: |
38 | if l[0].find(dir) == 0: | 38 | if l[0].find(dir + '/') == 0: |
39 | has = True | 39 | has = True |
40 | fn = l[0][len(dir) + 1:] | 40 | fn = l[0][len(dir) + 1:] |
41 | new_latex_docs.append((fn, l[1], l[2], l[3], l[4])) | 41 | new_latex_docs.append((fn, l[1], l[2], l[3], l[4])) |