Merge pull request #824 from ethereum/fixDocs

fix Docs
pull/7/head
yann300 7 years ago committed by GitHub
commit 236249545c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 16
      docs/conf.py

@ -294,11 +294,11 @@ texinfo_documents = [
#texinfo_no_detailmenu = False #texinfo_no_detailmenu = False
# app setup hook # app setup hook
def setup(app): # def setup(app):
app.add_config_value('recommonmark_config', { # app.add_config_value('recommonmark_config', {
'url_resolver': lambda url: github_doc_root + url, # 'url_resolver': lambda url: github_doc_root + url,
'enable_auto_toc_tree': True, # 'enable_auto_toc_tree': True,
'enable_eval_rst': True, # 'enable_eval_rst': True,
'enable_auto_doc_ref': True, # 'enable_auto_doc_ref': True,
}, True) # }, True)
app.add_transform(AutoStructify) # app.add_transform(AutoStructify)

Loading…
Cancel
Save