1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-17 03:25:46 +00:00
Commit Graph

5 Commits

Author SHA1 Message Date
Joe Marcus Clarke
36a1e22ed2 Make sure we link against ${PTHREAD_LIBS}. This fixes a build problem
on -STABLE, and some runtime threading issues on -CURRENT.

PR:		53918
Submitted by:	maintainer
2003-06-30 17:34:39 +00:00
Joe Marcus Clarke
8762b03b9b Update to 0.7, and update the WWW link.
PR:		53905
Submitted by:	maintainer
2003-06-29 20:35:20 +00:00
Adam Weinberger
58fd656b5b Add libgnomeui to USE_GNOME.
Submitted by:	kris, bento
2003-06-07 08:02:06 +00:00
Adam Weinberger
eb83fd8701 Fix things mucked up from the original port I committed:
* Change maintainer to submitter of ports/52446,
  Rui Lopes <rui@ruilopes.com> (I missed this when
  I committed this port)
* Add libgtkhtml/remove gtk20 from USE_GNOME
* Remove the REINPLACEs
  <debugger> adamw_: we also don't need that first REINPLACE in post-patch.
  <debugger> adamw_: and I don't known why you have placed the second
             REINPLACE there :/
* Remove the lib/devhelp dir in the pkg-plist
* Add a patch to search for devhelp books in the
  standard FreeBSD places
* Alphabetize the pkg-plist
* PORTREVISION bump

Submitted by:	Rui Lopes <rui@ruilopes.com> (over IRC)
2003-06-03 20:23:42 +00:00
Adam Weinberger
f211a290fd devhelp is a developer's help browser for GNOME 2. It is a GUI
frontend to books about GNOME development, providing cross-referenced,
easily searchable information.  Many books are available, and can
be found through the project's website.
2003-06-02 01:36:35 +00:00