1 Mar 2011 08:38
Bug#615938: Improvements to the "Ports" page: non-linux & arm stuff
Adrian von Bidder <avbidder <at> fortytwo.ch>
2011-03-01 07:38:45 GMT
2011-03-01 07:38:45 GMT
Package: www.debian.org Tags: patch Hi, I've noticed a few issues with www.d.o/ports (these are orthogonal to the stuff discussed in #611830): * Non-Linux ports: now that kFreeBSD is released, the "non-Linux" title probably should just be dropped, since "non-Linux" is not really just a sub- category of "unreleased" anymore. +++ diff --git a/webwml/english/ports/index.wml b/webwml/english/ports/index.wml --- a/webwml/english/ports/index.wml +++ b/webwml/english/ports/index.wml <at> <at> -5,7 +5,6 <at> <at> <li><a href="#intro">Introduction</a></li> <li><a href="#released">Released ports</a></li> <li><a href="#unreleased">Ports that haven't been released yet</a></li> - <li><a href="#nonlinux">Non-Linux ports</a></li> <li><a href="#various">Various port-like projects</a></li> </ul> <at> <at> -30,9 +29,9 <at> <at> </p> <p> Debian is an operating system (OS), not a kernel (actually, it is more - than an OS since it includes thousands of application programs). To - prove this, we have our first three fledgling non-Linux based ports, listed - <a href="#nonlinux">at the bottom of this page</a>.(Continue reading)
RSS Feed