Bug#783655: www.debian.org: addition of ppc64el page to ports

On Mon, May 4, 2015 at 10:42 PM, Fernando Seiti Furusato wrote:

> I can try and integrate what I have sent with powerpc page.

Thanks.

BTW, on the ports index I marked ppc64el as released so you may want
to `cvs up`.

> I am not sure about powerpcspe though, because it already has a whole page
> of its own. Also it is an unofficial port (not that this really matters here).

I tend to think that the ports pages on the website should be minimal
and link to the wiki for more details, so maybe it could still be
added.

> How would you suggest it to be done? A contact point maybe?

Perhaps something like this:

Please read the <a href="https://db.debian.org/machines.cgi">list of
Debian machines</a> to access powerpc/ppc64el Debian porterboxen.

-- 
bye,
pabs

https://wiki.debian.org/PaulWise