[jboss-jira] [JBoss JIRA] Created: (JBPORTAL-1936) make build better (-Dno-docs work, distrib uses local.properties, etc)