Update gen_menu_docs.py
This commit is contained in:
@@ -19,6 +19,8 @@ ENGLISH_TRANSLATION_PATH = os.path.join(HERE, "translation_EN.json")
|
||||
MENU_DOCS_FILE_PATH = os.path.join(HERE.parent, "Documentation/Settings.md")
|
||||
|
||||
# Loading a single JSON file
|
||||
|
||||
|
||||
def load_json(filename: str, skip_first_line: bool) -> dict:
|
||||
with open(filename) as f:
|
||||
if skip_first_line:
|
||||
@@ -66,6 +68,7 @@ def write_menu_entries(filep, defs, translation_data):
|
||||
"""
|
||||
Writes the menu entries section out
|
||||
"""
|
||||
|
||||
menu_entries_pretense = """
|
||||
## Settings
|
||||
|
||||
|
||||
Reference in New Issue
Block a user