+
+ <!-- DocCheck path -->
+ <property name="doccheck.home" value="${ant.lib.dir}/doccheck1.2b2/doccheck.jar"/>
+ <path id="doccheck.path">
+ <pathelement location="${doccheck.home}"/>
+ </path>
+
+ <!-- PdfDoclet path -->
+ <property name="pdfdoclet.home" value="${ant.lib.dir}/pdfdoclet-1.0.2-all.jar"/>
+ <path id="pdfdoclet.path">
+ <pathelement location="${pdfdoclet.home}"/>
+ </path>