Ports pages need updating on www.d.o
I've been trying to help out a bit with the port pages (under
https://www.debian.org/ports/), starting with the ARM ports. We could
really do with updating a lot of the information here - it's so old
it's starting to smell bad!
I've removed some of the older details (e.g. hardware support) that
used to be under https://www.debian.org/ports/arm and replaced them
with pointers to the wiki now. My reasoning here is that the wiki is
more easily updated for more dynamic content like this, plus it's much
easier for the wider community to contribute that way. I'd suggest
that most of the other port pages would be better organised like this
too, but that's a decision for porters to make for themselves.
We also need to work on some of the other content around here. For
example, the top-level ports page is still listing the ports from
Wheezy rather than Jessie. Please take a look.
In the webwml source, there's even a file to list maintainers for the
various port pages. Until I touched it today, it hadn't been modified
since 2005. It's clearly not very useful at the moment!
Steve McIntyre, Cambridge, UK. firstname.lastname@example.org
"I suspect most samba developers are already technically insane... Of
course, since many of them are Australians, you can't tell." -- Linus Torvalds