From owner-freebsd-ports Mon Feb 11 12:30:15 2002 Delivered-To: freebsd-ports@hub.freebsd.org Received: from freefall.freebsd.org (freefall.FreeBSD.org [216.136.204.21]) by hub.freebsd.org (Postfix) with ESMTP id E0D8537B416 for ; Mon, 11 Feb 2002 12:30:01 -0800 (PST) Received: (from gnats@localhost) by freefall.freebsd.org (8.11.6/8.11.6) id g1BKU1k76161; Mon, 11 Feb 2002 12:30:01 -0800 (PST) (envelope-from gnats) Received: from kai.velvet.net (kai.velvet.net [62.49.231.20]) by hub.freebsd.org (Postfix) with ESMTP id 0394537B416 for ; Mon, 11 Feb 2002 12:28:29 -0800 (PST) Received: (from aidan@localhost) by kai.velvet.net (8.11.6/8.11.6) id g1BKRtK31739; Mon, 11 Feb 2002 20:27:56 GMT (envelope-from aidan) Message-Id: <200202112027.g1BKRtK31739@kai.velvet.net> Date: Mon, 11 Feb 2002 20:27:56 GMT From: Aidan Skinner Reply-To: Aidan Skinner To: FreeBSD-gnats-submit@freebsd.org X-Send-Pr-Version: 3.113 Subject: ports/34844: Gnat-3.14p port does not contain gnathtml tool Sender: owner-freebsd-ports@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.org >Number: 34844 >Category: ports >Synopsis: Gnat-3.14p port does not contain gnathtml tool >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Mon Feb 11 12:30:01 PST 2002 >Closed-Date: >Last-Modified: >Originator: Aidan Skinner >Release: FreeBSD 4.5-STABLE i386 >Organization: Velvet Networks >Environment: System: FreeBSD kai.velvet.net 4.5-STABLE FreeBSD 4.5-STABLE #1: Fri Feb 9 02:28:32 GMT 2001 root@xev.velvet.net:/usr/obj/usr/src/sys/GENERIC i386 >Description: The gnat-3.14p port does not contain the gnathtml tool for generating a tree of webpages from ada specification files. >How-To-Repeat: Install the port. >Fix: Include the gnathtml.pl script located in gnat-3.14p-src/src/ada/gnathtml.pl in the install >Release-Note: >Audit-Trail: >Unformatted: To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message