--- wikisrc/ports/mipsco.mdwn	2020/02/15 08:00:06	1.17
+++ wikisrc/ports/mipsco.mdwn	2020/02/29 21:17:35	1.18
@@ -1,5 +1,6 @@
 [[!template id=port
 port="mipsco"
+port_alt="mips"
 cur_rel="9.0"
 future_rel="10.0"
 changes_cur="9.0"