mirror of
https://github.com/godotengine/godot-contributing-docs.git
synced 2026-02-25 02:34:39 +03:00
Add GDScript highlighting, enable smart quotes, and fix a warning regarding 'display_version'.
This commit is contained in:
1589
_extensions/gdscript.py
Normal file
1589
_extensions/gdscript.py
Normal file
File diff suppressed because it is too large
Load Diff
8
conf.py
8
conf.py
@@ -22,6 +22,7 @@ extensions = [
|
||||
"sphinx_copybutton",
|
||||
"sphinxcontrib.video",
|
||||
"area_table",
|
||||
"gdscript",
|
||||
]
|
||||
|
||||
intersphinx_mapping = {
|
||||
@@ -32,6 +33,12 @@ intersphinx_disabled_domains = ['std']
|
||||
|
||||
templates_path = ['_templates']
|
||||
|
||||
smartquotes = False
|
||||
|
||||
# Pygments (syntax highlighting) style to use
|
||||
pygments_style = "sphinx"
|
||||
highlight_language = "gdscript"
|
||||
|
||||
# -- Options for HTML output
|
||||
|
||||
html_theme = 'sphinx_rtd_theme'
|
||||
@@ -45,7 +52,6 @@ html_theme_options = {
|
||||
# Remove version and language picker beneath the title
|
||||
"version_selector": False,
|
||||
"language_selector": False,
|
||||
'display_version': False,
|
||||
}
|
||||
|
||||
html_context = {
|
||||
|
||||
Reference in New Issue
Block a user