make build better (-Dno-docs work, distrib uses local.properties, etc) ---------------------------------------------------------------------- Key: JBPORTAL-1936 URL: http://jira.jboss.com/jira/browse/JBPORTAL-1936 Project: JBoss Portal Issue Type: Patch Security Level: Public (Everyone can see) Affects Versions: 2.6.4 Final Reporter: Andrew Oliver Attachments: makebuildbetter.patch this makes the build able to build without the docs and actually call the wsrp explosion. Running the release and package-normal -Dno-doc=true etc doesn't seem to actually generate (efficiently) a valid but docless jboss-portal.sar. This patch removed wsrp-related errors and makes no-docs actually work as well as allows you to set the source dir w/o changing the build (I don't always check it out with portal-2.6 as my directory name). -- 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