From 253c5557b1c7dcc9baf4feadd007e1fdb5cae622 Mon Sep 17 00:00:00 2001
From: Cristiano <cristiano04@gmail.com>
Date: Tue, 9 Jul 2019 18:01:51 +0100
Subject: [PATCH] conf.py edit to silence useless syntax highlighting warning

---
 docs/conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/conf.py b/docs/conf.py
index dd6ccbd5..acbe7ae6 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -193,6 +193,7 @@ def setup(app):
      [author], 1)
 ]
 
+suppress_warnings = ['misc.highlighting_failure']
 
 # -- Options for Texinfo output -------------------------------------------