From: Vladimír Vondruš <mosra@centrum.cz>
Date: Tue, 9 Jun 2020 12:10:26 +0000 (+0200)
Subject: documentation/python: list forgotten default option, avoid duplicates.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=018fe0b19e52f44b4025b0c311de631ecb53d936;p=blog.git

documentation/python: list forgotten default option, avoid duplicates.
---

diff --git a/documentation/python.py b/documentation/python.py
index 5daa149f..0c750426 100755
--- a/documentation/python.py
+++ b/documentation/python.py
@@ -135,12 +135,13 @@ default_config = {
     'PROJECT_SUBTITLE': None,
     'PROJECT_LOGO': None,
     'MAIN_PROJECT_URL': None,
+
     'INPUT': None,
     'OUTPUT': 'output',
     'INPUT_MODULES': [],
     'INPUT_PAGES': [],
     'INPUT_DOCS': [],
-    'OUTPUT': 'output',
+
     'THEME_COLOR': '#22272e',
     'FAVICON': 'favicon-dark.png',
     'STYLESHEETS': [
@@ -153,6 +154,7 @@ default_config = {
         ('Classes', 'classes', [])],
     'LINKS_NAVBAR2': [],
 
+    'HTML_HEADER': None,
     'PAGE_HEADER': None,
     'FINE_PRINT': '[default]',
     'FORMATTED_METADATA': ['summary'],