rename Tools.py

cta-observatory · Jul 11, 2023 · 8148aaa · 8148aaa
1 parent c65401a
commit 8148aaa
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/docs/conf.py b/docs/conf.py
@@ -134,7 +134,7 @@ def setup(app):
         "tutorials",
     ],  # path to where to save gallery generated output
     "nested_sections": True,
-    "copyfile_regex": r"index.rst|.*\.png|tools.json",
+    "copyfile_regex": r"index.rst|.*\.png|.*\.json",
     "filename_pattern": r".*\.py",
     "promote_jupyter_magic": True,
 }

diff --git a/examples/examples/core/Tools.py → examples/examples/core/customTools.py b/examples/examples/core/Tools.py → examples/examples/core/customTools.py