generate index page for JBTIS aggregate site, and discard extra-repos.xml ------------------------------------------------------------------------- Key: JBTIS-14 URL: https://issues.jboss.org/browse/JBTIS-14 Project: JBoss Tools Integration Stack Issue Type: Bug Components: distribution, releng Reporter: Nick Boldt Assignee: Paul Leacu generate index page for JBTIS aggregate site, and discard extra-repos.xml