diff options
author | Daniel Dunbar <daniel@zuster.org> | 2012-05-02 22:46:36 +0000 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2012-05-02 22:46:36 +0000 |
commit | f2c696f01620024a46f995be766b240497fae41f (patch) | |
tree | e1a66e9c1e28bb51b8b4011d4c2cb3d4affb7614 /docs/conf.py | |
parent | 062c0a5b58b756b91811bf3e6e978257c9fda3ff (diff) |
[docs] Include the Kaleidescope tutorial in the Sphinx docs build.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@156032 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/conf.py')
-rw-r--r-- | docs/conf.py | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/docs/conf.py b/docs/conf.py index df713558ca..5a39b69de1 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -138,10 +138,14 @@ html_sidebars = {'index': 'indexsidebar.html'} # We load all the old-school HTML documentation pages into Sphinx here. basedir = os.path.dirname(__file__) html_additional_pages = {} -for file in os.listdir(basedir): - if file.endswith('.html'): - name,_ = os.path.splitext(file) - html_additional_pages[name] = file +for directory in ('', 'tutorial'): + for file in os.listdir(os.path.join(basedir, directory)): + if not file.endswith('.html'): + continue + + subpath = os.path.join(directory, file) + name,_ = os.path.splitext(subpath) + html_additional_pages[name] = subpath # If false, no module index is generated. #html_domain_indices = True |