From 0d8762befb0f06174c3e6f861446af9696e6c55f Mon Sep 17 00:00:00 2001 From: baldurk Date: Sun, 15 May 2016 20:45:10 +0200 Subject: [PATCH] Change htmlhelp_basename --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index 7a2e22feb..67ceb46fa 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -203,7 +203,7 @@ html_title = 'RenderDoc documentation' #html_search_scorer = 'scorer.js' # Output file base name for HTML help builder. -htmlhelp_basename = 'RenderDocdoc' +htmlhelp_basename = 'renderdoc' # -- Options for LaTeX output ---------------------------------------------