From 6175fe251185dcd28b1f71ffc97e7875336655d5 Mon Sep 17 00:00:00 2001 From: StraToN Date: Thu, 25 Jul 2019 15:57:43 +0200 Subject: [PATCH] Adds a meta on top of every generated class to hide 'Edit on Github' link Linked docs issue https://github.com/godotengine/godot-docs/pull/2656 (cherry picked from commit d83b8881ae15e156590dfe47b00e2e6059286e69) --- doc/tools/makerst.py | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/tools/makerst.py b/doc/tools/makerst.py index 302905318a0..18772d103da 100755 --- a/doc/tools/makerst.py +++ b/doc/tools/makerst.py @@ -343,6 +343,7 @@ def make_rst_class(class_def, state, dry_run, output_dir): # type: (ClassDef, S f = open(os.path.join(output_dir, "class_" + class_name.lower() + '.rst'), 'w', encoding='utf-8') # Warn contributors not to edit this file directly + f.write(":github_url: hide\n\n") f.write(".. Generated automatically by doc/tools/makerst.py in Godot's source tree.\n") f.write(".. DO NOT EDIT THIS FILE, but the " + class_name + ".xml source instead.\n") f.write(".. The source is found in doc/classes or modules//doc_classes.\n\n")