javadoc.xml

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<project default="javadoc">
    <target name="javadoc">
    	<mkdir dir="javadoc" />
    	<copy file="doc/kodkod.png" tofile="javadoc/kodkod.png" />
        <javadoc access="public" 
        	additionalparam="-Xdoclint:none
        	-tagletpath bin 
        	-taglet kodkod.doc.SpecificationTaglet
        	-tag specfield
        	-tag invariant
        	-tag requires
        	-tag ensures
        	-tag return
        	-tag throws
        	-tag see"
        	author="true" 
        	classpath="${java.home}/lib/tools.jar:lib/org.sat4j.core.jar" 
        	destdir="javadoc" 
        	doctitle="Kodkod API" 
        	windowtitle="Kodkod API"
        	bottom="&lt;br&gt;&amp;copy; &lt;a href=&quot;http://homes.cs.washington.edu/~emina/&quot; target=&quot;_top&quot;&gt;Emina Torlak&lt;/a&gt; 2005-present&lt;br&gt;"
        	nodeprecated="true" 
        	nodeprecatedlist="true" 
        	noindex="false" 
        	nonavbar="false" 
        	notree="false" 
        	packagenames="kodkod.ast,kodkod.ast.operator,kodkod.ast.visitor,
        	kodkod.engine,kodkod.engine.bool,kodkod.engine.config,kodkod.engine.fol2sat,kodkod.engine.satlab,kodkod.engine.ucore,
        	kodkod.instance,kodkod.util,kodkod.util.collections,kodkod.util.ints,kodkod.util.nodes"
        	source="1.8" 
        	sourcepath="src" 
        	splitindex="true" 
        	stylesheetfile="doc/kodkod.css" 
        	use="true" 
        	version="false">
    	<link href="https://docs.oracle.com/javase/8/docs/api/"/>
        <link href="http://www.sat4j.org/maven23/org.sat4j.core/apidocs/"/>
    	</javadoc>
    </target>
</project>