Port details |
- gnat-doc-html Documentation for the GNAT compiler
- 3.15p lang
=0 3.15pVersion of this port present on the latest quarterly branch. - There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
 - Port Added: 2001-12-05 02:44:58
- Last Update: 2011-03-07 06:34:57
- SVN Revision: UNKNOWN
- License: not specified in port
- WWW:
- http://www.gnat.com/
- Description:
- Documentation for the GNAT 3.13p compiler in html, info, postscript,
TeXi, or plain-text formats.
WWW: http://www.gnat.com/
cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- gnat-doc-html>0:lang/gnat-doc-html
- No installation instructions:
- This port has been deleted.
- PKGNAME: gnat-doc-html
- Flavors: there is no flavor information for this port.
- distinfo:
- There is no distinfo for this port.
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:

- This port has no dependencies.
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
3.15p 07 Mar 2011 06:34:57
 |
wen  |
- Remove obsolete gnat-doc(3.15p) ports
PR: ports/153676
Submitted by: John Marino <freebsdml@marino.st> |
3.15p 01 Jul 2010 12:19:27
 |
stefan  |
- Ignore port if NOPORTDOCS is defined.
- Dynamically adjust pkg-message.
- Adjust DOCSDIR and plist.
PR: 142709
Submitted by: Sevan Janiyan <venture37@geeklan.co.uk>
Feature safe: yes |
3.15p 21 Dec 2009 02:19:12
 |
dougb  |
For ports maintained by ports@FreeBSD.org, remove names and/or
e-mail addresses from the pkg-descr file that could reasonably
be mistaken for maintainer contact information in order to avoid
confusion on the part of users looking for support. As a pleasant
side effect this also avoids confusion and/or frustration for people
who are no longer maintaining those ports. |
3.15p 25 Nov 2005 00:33:45
 |
pav  |
- Add SHA256 |
3.15p 11 Sep 2005 08:50:43
 |
linimon  |
Remove dead mastersite.
Source: distfile survey |
3.15p 13 Feb 2005 18:28:23
 |
linimon  |
With portmgr hat on, reset maintainership of these ports. Maintainer's
old email address bounces, and he has not been responsive to email on the
only other one we have for him.
These ports are now available for adoption.
Come back coop, we miss ya ... |
3.15p 18 Mar 2004 02:27:55
 |
trevor  |
Add size data.
Approved by: maintainers |
3.15p 19 Dec 2003 23:22:07
 |
pav  |
- Update to 3.15p
PR: ports/60353
Submitted by: John Merryweather Cooper <johnmary@adelphia.net> (maintainer) |
3.14p 21 Feb 2003 12:35:09
 |
knu  |
De-pkg-comment. |
3.14p 12 Dec 2002 07:58:25
 |
edwin  |
Fix URLs in pkg-message
PR: laven Rezic <slaven.rezic@berlin.de>
Submitted by: ports/45260 |
3.14p 17 Nov 2002 23:06:21
 |
edwin  |
Change of maintainers email address.
PR: ports/45369
Submitted by: John Merryweather Cooper <coop9211@uidaho.edu> |
08 Feb 2002 15:41:54
    |
kevlo  |
Update to version 3.14p |
05 Dec 2001 05:51:43
    |
lioux  |
o Forced commit to correct previous log message o New port gnat-doc-html
version 3.13p: Documentation for the GNAT compiler o Master port for all
gnat-doc-* ports |
05 Dec 2001 05:44:58
    |
lioux  |
o New port jgnat-doc-html version 1.1p: Documentation for the JGNAT compiler
o Master port for all jgnat-doc-* ports |