2008/3/4, Runa Sandvik <runa@indentedlines.net>: > We could just put a section named "Links" somewhere on the index page > for arm [1], or? :) > > [1] http://www.debian.org/ports/arm/index There is a file in cvs, /ports/arm/menu.inc. I think it is a right place. The link will be as a submenu item. -- wbr, Nick