diff --git a/docs/images/gen_random.GIF b/docs/images/gen_random.gif
similarity index 100%
rename from docs/images/gen_random.GIF
rename to docs/images/gen_random.gif