examples/sphinx/conf.py_NEWBRANCH

   1 from docs_conf.conf import *
   2
   3 branch = 'istanbul'
   4 master_doc = 'index'
   5
   6 linkcheck_ignore = [
   7     'http://localhost',
   8 ]
   9
  10 intersphinx_mapping = {}
  11
  12 html_last_updated_fmt = '%d-%b-%y %H:%M'
  13
  14 def setup(app):
  15     app.add_css_file("css/ribbon.css")