ports/153676: Delete obsolete gnat 3.15p ports (five)

[John Marino]

>Number:         153676
>Category:       ports
>Synopsis:       Delete obsolete gnat 3.15p ports (five)
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          update
>Submitter-Id:   current-users
>Arrival-Date:   Tue Jan 04 13:00:22 UTC 2011
>Closed-Date:
>Last-Modified:
>Originator:     John Marino
>Release:        n/a
>Organization:
>Environment:
n/a
>Description:
The following ports should be deleted:

lang/gnat-doc-html
lang/gnat-doc-info
lang/gnat-doc-ps
lang/gnat-doc-texi
lang/gnat-doc-txt

Reason:
They build documentation for GNAT 3.15p which was removed from the ports tree over 5 years ago.  These ports have been obsolete since Nov 2005.

Freshports indicates there are no maintainers for these ports.
>How-To-Repeat:
n/a
>Fix:
Delete the five ports.  :)

>Release-Note:
>Audit-Trail:
>Unformatted: