From 9bbfbf821cc9458920851a61ce4ff6ecfd047cee Mon Sep 17 00:00:00 2001 From: Vadim Zeitlin Date: Thu, 3 Mar 2016 22:17:22 +0100 Subject: [PATCH] Use simpler HTML5 doctype in the documentation index Also don't pretend to be XML. --- docs/index.htm | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/docs/index.htm b/docs/index.htm index 1ba22ee05d..880723d2f0 100644 --- a/docs/index.htm +++ b/docs/index.htm @@ -1,6 +1,5 @@ - - - + +