> > Add a link to GXemul. While here, some updates for 3.0.
> 
> How about adding a link to ../emulators.html instead? Moreover, it
> already covers GXemul.

Ah, I didn't notice emulators.html had already been linked
from Ports/index.html, and I thought it wasn't ready yet.
Anyway, I think it's better to have both (emulators.html
and GXemul itself) links on each port page.
---
Izumi Tsutsui