Fri, 23 May 2014 18:53:50 +0200
Corrected an issue in the install script.
(grafted from 0baeb7c76a5b723beb37c99c2bf595eb64325bd4)
install.py | file | annotate | diff | comparison | revisions |
--- a/install.py Fri May 23 18:43:13 2014 +0200 +++ b/install.py Fri May 23 18:53:50 2014 +0200 @@ -633,13 +633,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"),