From d0fbb8b9cbb50f6d392aba59322a1ff03f926b1c Mon Sep 17 00:00:00 2001
From: jack1142 <6032823+jack1142@users.noreply.github.com>
Date: Mon, 27 Jul 2020 19:04:51 +0200
Subject: [PATCH] docs: use html5 writer (#54)

---
 docs/conf.py | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/docs/conf.py b/docs/conf.py
index 2851bb1..f8799ab 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -76,9 +76,6 @@
 #
 html_theme = "sphinx_rtd_theme"
 
-# Use old HTML4 writer because sphinx_rtd_theme doesn't support new one yet
-html4_writer = True
-
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".