diff options
| -rw-r--r-- | tools/example_gallery/main.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/example_gallery/main.py b/tools/example_gallery/main.py index 1c37a8670..b923b24d3 100644 --- a/tools/example_gallery/main.py +++ b/tools/example_gallery/main.py @@ -220,7 +220,7 @@ if __name__ == "__main__": rst_file = f"example_{module_name}_{extra_names}_{example_name}.rst" def check_img_ext(i): - EXT = (".png", ".jpg", ".jpeg") + EXT = (".png", ".jpg", ".jpeg", ".gif") if i.suffix in EXT: return True return False |