Select Git revision
javadoc.xml

BIGARET Sebastien authored
javadoc.xml 1.31 KiB
<project name="javadoc" default="javadoc" basedir="../..">
<property name="praxis.home" value="${basedir}"/>
<import file="dependencies.xml"/>
<target name="javadoc"
description="Generates the javadoc">
<javadoc packagenames="eu.telecom_bretagne.praxis.*"
sourcepath="${praxis.core.src}:${praxis.swing_gui.src}"
source="8"
defaultexcludes="yes"
destdir="${praxis.core.home}/doc/api"
author="true"
encoding="utf8" docencoding="utf8" charset="utf8"
version="true"
use="true"
splitindex="true"
notree="false"
nodeprecated="false" nodeprecatedlist="false"
noindex="false" nonavbar="false"
windowtitle="Praxis API">
<doctitle><![CDATA[<h1>Praxis documentation</h1>]]></doctitle>
<bottom><![CDATA[<i>Copyright © 2002-2018, Institut Mines Télécom - IMT Atlantique Bretagne-Pays de la Loire. All Rights Reserved.</i>]]></bottom>
<tag name="implementation" scope="all" description="Implementation note: "/>
<tag name="category" scope="all" description="Category:"/>
<link href="https://docs.oracle.com/javase/8/docs/api/" />
<classpath refid="praxis.core.all.libs"/>
</javadoc>
</target>
</project>