From 790b666865b5d97127bf79949e5bf2de848f6f35 Mon Sep 17 00:00:00 2001
From: endolf <endolf@java.net>
Date: Mon, 25 Mar 2013 18:01:56 +0000
Subject: [PATCH] Create the javadoc as part of a dist build

---
 build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.xml b/build.xml
index 1873a70..4872422 100644
--- a/build.xml
+++ b/build.xml
@@ -142,6 +142,7 @@
 				<attribute name="Sealed" value="true"/>
 			</manifest>
 		</jar>
+		<iterate target="javadoc"/>
 		<copy todir="dist">
 			<fileset file="coreAPI/bin/jinput-test.jar"/>
 			<fileset dir="plugins/linux/bin" includes="*so"/>