03:42 marcus 

This commit includes:

* mozilla-*vendor ports (currently for Mozilla 1.0.1)
* mozilla* ports (currently for Mozilla 1.1)
* mozilla-*devel ports (currently for Mozilla 1.2b)

Special thanks goes to trevor for auto-generating plist patches, cy for
pointing out that the Mozilla startup scripts need to be tailored for
each version of Mozilla, grog for suggesting that some verbage needs to
be added to explain the Java plugin messages at startup, and John
Merryweather Cooper for suggesting a common plugin directory. Of course,
thanks also goes to the user community for suggestions and support.

These ports offer:

* Complete coexistence with each other
* A universal ${PREFIX}/lib/browser_plugins directory
* Auto-generated plists for ease of maintenance
* More accurate pkg-descr's
* A pkg-message pointing users to java/jdk13 for the Java plugin

PR:     42870 42941
Reviewed by:    ports gnome

20:45 marcus 

Add mozilla-*-devel after a repo copy from mozilla.

NOTE: mozilla-*-devel is now Mozilla 1.1.  mozilla-* (without the -devel) is
back to Mozilla 1.0.  mozilla.org states that 1.1 is their new bleeding edge
release, and 1.0 is still the stable release.  The release cycle diagram also
indicates that a Mozilla 1.0.1 is coming.

For all users that upgraded from Mozilla 1.0 to 1.1, be aware that running
a blind portupgrade on mozilla will give you mozilla-1.0!  If you want to
keep Mozilla 1.1, you will have to change the origin of you mozilla ports to
point to their -devel counterparts.

The -devel ports will install files into -devel directories.  Therefore,
both mozilla and mozilla-devel can coexist.