diff docs/conf.py @ 732:88bfa76463a6

FIX: Make all configurations on conf10.* semantically identical. BUGS: INI and lists
author Franz Glasner <f.glasner@feldmann-mg.com>
date Fri, 18 Aug 2023 11:50:39 +0200
parents 26a6c218a66a
children 1f076d7c721d
line wrap: on
line diff
--- a/docs/conf.py	Fri Aug 18 00:29:55 2023 +0200
+++ b/docs/conf.py	Fri Aug 18 11:50:39 2023 +0200
@@ -80,6 +80,9 @@
 # This pattern also affects html_static_path and html_extra_path .
 exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store']
 
+# `default' is similar to python3
+highlight_language = "default"
+
 # The name of the Pygments (syntax highlighting) style to use.
 pygments_style = 'sphinx'