add .gif images from the images folder also

2009-08-03 16:27:45 +00:00 · 2009-08-03 16:27:45 +00:00 · c2299b793c
parent 1f817b3d56
commit c2299b793c
1 changed files with 1 additions and 0 deletions
--- a/setup.py
+++ b/setup.py
@ -425,6 +425,7 @@ setup(
                                "ui/web/index.html",
                                "ui/web/css/*.css",
                                "ui/web/icons/*.png",
+                                "ui/web/images/*.gif",
                                "ui/web/images/*.png",
                                "ui/web/js/*.js",
                                "ui/web/render/*.html",