bad port descr url, rtems, general ping...

[Bruce R. Montague]

Hi, will poking around looking at ARM related 
stuff I encountered two errors in the freebsd
ports index, looks like obsolete/dead urls or
ports:

http://www.freebsd.org/cgi/url.cgi?ports/devel/arm-aout-gcc295/pkg-descr
Port description for devel/arm-aout-gcc295
The port specified does not exist, or has an invalid name:

    ports/devel/arm-aout-gcc295/pkg-descr

You are coming from
    http://www%2efreebsd%2eorg/ports/devel%2ehtml.

Please contact www at freebsd.org
Sources | Category devel | Help
ports at FreeBSD.org


http://www.freebsd.org/cgi/url.cgi?ports/devel/arm-elf-gcc31/pkg-descr
Port description for devel/arm-elf-gcc31
The port specified does not exist, or has an invalid name:

    ports/devel/arm-elf-gcc31/pkg-descr

You are coming from
    http://www%2efreebsd%2eorg/ports/devel%2ehtml.

Please contact www at freebsd.org
Sources | Category devel | Help
ports at FreeBSD.org



 - brucem