Lines Matching full:docs
28 <echo message=" dist - build src/bin/docs distro in '${base.dir}'"/>
57 description="Creates src/bin/docs distros (uses pre-built binaries)"
129 <fileset basedir="${base.dir}/docs">
150 <fileset basedir="${base.dir}/docs">
159 <fileset basedir="${base.dir}/docs">
218 <property name="doc.dir" value="${base.dir}/docs" />
222 <!-- Docs generation properties. -->
231 <target name="releaseDocs" depends="clean.docs">
240 <target name="devDocs" depends="clean.docs">
318 <target name="clean.docs">
