Lines Matching refs:sphinx
4 # sphinx-quickstart on Fri Feb 12 13:51:46 2016.
17 import sphinx
22 major, minor, patch = sphinx.version_info[:3]
28 sys.path.insert(0, os.path.abspath('sphinx'))
37 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
40 'kfigure', 'sphinx.ext.ifconfig', 'automarkup',
41 'maintainers_include', 'sphinx.ext.autosectionlabel',
122 extensions.append("sphinx.ext.imgmath")
124 extensions.append("sphinx.ext.pngmath")
207 pygments_style = 'sphinx'
229 # - python-sphinx-rtd-theme package (on Debian)
265 html_static_path = ['sphinx-static']
447 # However, it require to use sphinx heavy box with:
576 # HTML files that should be inserted before the pages created by sphinx.
580 # HTML files that should be inserted after the pages created by sphinx.