Make Sphinx output document naming consistent

Ensure the name of the EPUB file produced by Sphinx is consistent with
the name of its PDF counterpart by adjusting Sphinx configuration.

diff --git a/doc/arm/conf.py b/doc/arm/conf.py
index 9f8305657794ed9ad19460ca0b431e15a50d6262..92a758703cbce3a80e8511247759fac85e3b7a5d 100644 (file)
--- a/doc/arm/conf.py
+++ b/doc/arm/conf.py
@@ -75,6 +75,10 @@ master_doc = 'index'
 #
 html_theme = 'sphinx_rtd_theme'
 
+# -- Options for EPUB output -------------------------------------------------
+
+epub_basename = 'Bv9ARM'
+
 # -- Options for LaTeX output ------------------------------------------------
 latex_engine = 'xelatex'