2013/10/22 Violeta Georgieva <miles...@gmail.com>: > Hi, > > I'm looking at the issue with javadoc reported by Rainer [1] > I know that we've decided to use the quick-fix tool for javadoc instead of > jdk 7 [2]. > But that was before websocket downport that require jdk 7 for building. > > What do you think if we start generating javadoc with jdk 7 when > java.7.home is set as suggested by Rainer ? >
+1 Personally I will be OK with an even more simple approach: require Java 7 for javadoc. The only other target that depends on it is the "release" one, and the release target already requires Java 7. Best regards, Konstantin Kolinko > > [1] http://markmail.org/message/hv2e32eo5du22dyf?q=7%2E0%2E47&page=2 > [2] > http://markmail.org/message/344mf45rhjfttuim?q=CVE-2013-1571%2C+VU%23225657+list:org%2Eapache%2Etomcat%2Edev/ --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org