diff options
author | vanilla <vanilla@FreeBSD.org> | 2006-05-07 21:02:13 +0800 |
---|---|---|
committer | vanilla <vanilla@FreeBSD.org> | 2006-05-07 21:02:13 +0800 |
commit | f50d454eb8078122f13399659418d35c20ac2882 (patch) | |
tree | b770ac66e619d744e4e0baadeede9c880ba99ac1 /www | |
parent | ab92ee527b9c99959e86e55aec28becbb7369ef5 (diff) | |
download | freebsd-ports-gnome-f50d454eb8078122f13399659418d35c20ac2882.tar.gz freebsd-ports-gnome-f50d454eb8078122f13399659418d35c20ac2882.tar.zst freebsd-ports-gnome-f50d454eb8078122f13399659418d35c20ac2882.zip |
Add xpi-web_developer 1.0.2, an extension to add various web developer
tools.
PR: ports/96882
Submitted by: chinsan <chinsan.tw@gmail.com>
Diffstat (limited to 'www')
-rw-r--r-- | www/Makefile | 1 | ||||
-rw-r--r-- | www/xpi-web_developer/Makefile | 22 | ||||
-rw-r--r-- | www/xpi-web_developer/distinfo | 3 | ||||
-rw-r--r-- | www/xpi-web_developer/pkg-descr | 3 |
4 files changed, 29 insertions, 0 deletions
diff --git a/www/Makefile b/www/Makefile index 2bbdc935976d..c61c10cb8660 100644 --- a/www/Makefile +++ b/www/Makefile @@ -983,6 +983,7 @@ SUBDIR += xpi-server_switcher SUBDIR += xpi-tabmixplus SUBDIR += xpi-unplug + SUBDIR += xpi-web_developer SUBDIR += xshttpd SUBDIR += xshttpd-devel SUBDIR += xulrunner diff --git a/www/xpi-web_developer/Makefile b/www/xpi-web_developer/Makefile new file mode 100644 index 000000000000..f15dd451b9b1 --- /dev/null +++ b/www/xpi-web_developer/Makefile @@ -0,0 +1,22 @@ +# New ports collection makefile for: xpi-web_developer +# Date created: 2006/05/06 +# Whom: chinsan <chinsan.tw@gmail.com> +# +# $FreeBSD$ +# + +PORTNAME= web_developer +PORTVERSION= 1.0.2 +DISTVERSIONSUFFIX= -fx+fl +CATEGORIES= www + +MAINTAINER= chinsan.tw@gmail.com +COMMENT= An extension to add various web developer tools + +XPI_ID= {c45c406e-ab73-11d8-be73-000a95be3b12} +XPI_FILES= chrome/webdeveloper.jar chrome.manifest install.js \ + install.rdf license.txt +XPI_DIRS= chrome + +.include "../xpi-adblock/Makefile.xpi" +.include <bsd.port.mk> diff --git a/www/xpi-web_developer/distinfo b/www/xpi-web_developer/distinfo new file mode 100644 index 000000000000..5eb2652df7a6 --- /dev/null +++ b/www/xpi-web_developer/distinfo @@ -0,0 +1,3 @@ +MD5 (xpi/web_developer-1.0.2-fx+fl.xpi) = ed530fc64106089d817048119e1e41cf +SHA256 (xpi/web_developer-1.0.2-fx+fl.xpi) = deaf6c3219745ea53a22e9b06cbc26de9b088ab42b816c01d0451ebc83b6357e +SIZE (xpi/web_developer-1.0.2-fx+fl.xpi) = 148819 diff --git a/www/xpi-web_developer/pkg-descr b/www/xpi-web_developer/pkg-descr new file mode 100644 index 000000000000..00a9307240fb --- /dev/null +++ b/www/xpi-web_developer/pkg-descr @@ -0,0 +1,3 @@ +Adds a menu and a toolbar with various web developer tools. + +WWW: https://addons.mozilla.org/firefox/60/ |