That might explain why I have never seen a working WikiPublisher in the last releases. (Since at least 4.1.2 we build with that option on Windows)
The question is: Do we need to build with that option if no one missed the plugin? Matthias Am 29.09.2017 um 10:42 schrieb Don Lewis: > 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 > >
smime.p7s
Description: S/MIME Cryptographic Signature
