From 392e0e9bf9b226c8e84a949bd728e2633ddf70b8 Mon Sep 17 00:00:00 2001
From: Dan <14043624+delivrance@users.noreply.github.com>
Date: Wed, 3 Jan 2018 18:20:12 +0100
Subject: [PATCH] Don't use any extension for HTML files

---
 docs/source/conf.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 439c0a1a..cb93bdfb 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -91,6 +91,9 @@ todo_include_todos = False
 
 # -- Options for HTML output ----------------------------------------------
 
+# Don't use any extension for HTML files
+html_file_suffix = ""
+
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 #