From: zapata <zapata>
Date: Mon, 20 Jan 2003 19:49:09 +0000 (+0000)
Subject: extrasource added again
X-Git-Tag: BEFORE_MERGE_1_1~284
X-Git-Url: http://erislabs.org.uk/gitweb/?a=commitdiff_plain;h=c4478d0e70079aa1652ce985c605aa93fb44b969;p=mir.git

extrasource added again
---

diff --git a/build.xml b/build.xml
index 1c0ff367..58d7591e 100755
--- a/build.xml
+++ b/build.xml
@@ -81,7 +81,7 @@
     <pathelement path="${deploy.home}"/>
     <pathelement path="${deploy.classes}"/>
     <pathelement path="source"/>
-    <!--<pathelement path="etc/extrasource"/>-->
+    <pathelement path="etc/extrasource"/>
     <fileset dir="lib">
       <include name="*.jar"/>
     </fileset>
@@ -219,7 +219,7 @@
     <javac destdir="${deploy.classes}"
            debug="on" optimize="off" deprecation="on">
       <src path="source"/>
-      <!--<src path="etc/extrasource"/>-->
+      <src path="etc/extrasource"/>
       <classpath refid="project.class.path"/>
     </javac>
   </target>
diff --git a/etc/extrasource/README b/etc/extrasource/README
new file mode 100755
index 00000000..ac03eae5
--- /dev/null
+++ b/etc/extrasource/README
@@ -0,0 +1 @@
+This directory is for local source files.