From 0f77dfb94cc5ba942cbe927c4e64625c3ceeb32b Mon Sep 17 00:00:00 2001
From: john <john>
Date: Mon, 18 Aug 2003 21:38:00 +0000
Subject: [PATCH] changed app.name refs in javadoc target to Mir, because
 otherwise javadoc complains that mir.java and Openmir.java don't exist.

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

diff --git a/build.xml b/build.xml
index b4429b4b..9675a7af 100755
--- a/build.xml
+++ b/build.xml
@@ -243,7 +243,7 @@
 
   <target name="javadoc" depends="prepare">
     <javadoc packagenames="mir.*, mircoders.*"
-	     sourcefiles="source/${app.name}.java,source/Open${app.name}.java"
+	     sourcefiles="source/Mir.java,source/OpenMir.java"
 	     sourcepath="source"
              destdir="${javadoc.home}">
 	  <classpath refid="project.class.path"/>
-- 
2.11.0