# HG changeset patch
# User Cédric Krier <ced@b2ck.com>
# Date 1671727707 -3600
#      Thu Dec 22 17:48:27 2022 +0100
# Node ID 0d6c56367bb102649df4d0c6726142e2f90dabe7
# Parent  993236bc3447bf46549b0453195a16952df1bb50
Remove unused html_static_path in doc configuration

diff --git a/doc/conf.py b/doc/conf.py
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -113,7 +113,7 @@
 # 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".
-html_static_path = ['_static']
+# html_static_path = ['_static']
 
 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.