install.py

changeset 3607
0baeb7c76a5b
parent 3597
137370f7114b
child 3609
5f17196652d5
--- a/install.py	Fri May 23 18:43:13 2014 +0200
+++ b/install.py	Fri May 23 18:53:50 2014 +0200
@@ -722,13 +722,19 @@
             dst = os.path.normpath(os.path.join(distDir, "usr/share/pixmaps"))
             if not os.path.exists(dst):
                 os.makedirs(dst)
-            shutilCopy(os.path.join(sourceDir, "icons", "default", "eric.png"),
-                       os.path.join(dst, "eric.png"))
+            shutilCopy(
+                os.path.join(sourceDir, "icons", "default", "eric.png"),
+                os.path.join(dst, "eric.png"))
+            shutilCopy(
+                os.path.join(sourceDir, "icons", "default", "ericWeb48.png"),
+                os.path.join(dst, "ericWeb.png"))
             dst = os.path.normpath(
                 os.path.join(distDir, "usr/share/applications"))
             if not os.path.exists(dst):
                 os.makedirs(dst)
             shutilCopy(os.path.join(sourceDir, "eric5.desktop"), dst)
+            shutilCopy(os.path.join(sourceDir, "eric5_webbrowser.desktop"),
+                       dst)
         else:
             shutilCopy(os.path.join(
                 sourceDir, "icons", "default", "eric.png"),

eric ide

mercurial