From ae5989c6d332c87309cb4cca2cafad78ddfd75b5 Mon Sep 17 00:00:00 2001 From: Mounir IDRASSI Date: Sun, 4 Jun 2017 16:56:45 +0200 Subject: Documentation: add title to main HTML page --- doc/html/Documentation.html | 1 + 1 file changed, 1 insertion(+) (limited to 'doc/html/Documentation.html') diff --git a/doc/html/Documentation.html b/doc/html/Documentation.html index d4403d63..4ea96b44 100644 --- a/doc/html/Documentation.html +++ b/doc/html/Documentation.html @@ -26,6 +26,7 @@
+

Table of Contents

This documentation is not guaranteed to be error-free and is provided "as is" without warranty of any kind. For more information, see Disclaimers.