If we enable the mediawiki option but don't specify --with-servlet-api-jar, then configure selects an internal copy of servlet-api.jar and appends TOMCAT to BUILD_TYPE, but the build never attempts to build the tomcat module (which will generate a copy of servlet-api.jar) or bundle this .jar file with the extension. The build appears to succeed, but I suspect that the extension will not be functional without the .jar file.
--------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@openoffice.apache.org For additional commands, e-mail: dev-h...@openoffice.apache.org
