[jboss-jira] [JBoss JIRA] Commented: (JBPORTAL-1749) Consider creating an index

[ http://jira.jboss.com/jira/browse/JBPORTAL-1749?page=comments#action_1238... ] Thomas Heute commented on JBPORTAL-1749: ---------------------------------------- index are only useful for printed material. A search on the HTML or PDF document is much faster anyway. -- This message is automatically generated by JIRA. - If you think it was sent incorrectly contact one of the administrators: http://jira.jboss.com/jira/secure/Administrators.jspa - For more information on JIRA, see: http://www.atlassian.com/software/jira