diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-25 16:44:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-25 16:44:13 +0200 |
| commit | 1a33ef31a7a78087ccf51b09c4c959b66bdd2639 (patch) | |
| tree | 3ebbf7dd4e7cbf38b873d3933db4dd46f953f692 | |
| parent | 4c74f50d1adfea1ebba208b980fe85018a8bfa1c (diff) | |
| parent | d83b8881ae15e156590dfe47b00e2e6059286e69 (diff) | |
Merge pull request #30814 from StraToN/makerst-add-meta-gh-hide
Adds a meta on top of every generated class to hide Edit on Github link
| -rwxr-xr-x | doc/tools/makerst.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/tools/makerst.py b/doc/tools/makerst.py index 763c29ab4e..b42ae3ce01 100755 --- a/doc/tools/makerst.py +++ b/doc/tools/makerst.py @@ -347,6 +347,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/<name>/doc_classes.\n\n") |