From c4478d0e70079aa1652ce985c605aa93fb44b969 Mon Sep 17 00:00:00 2001
From: zapata <zapata>
Date: Mon, 20 Jan 2003 19:49:09 +0000
Subject: [PATCH 1/1] extrasource added again

---
 build.xml              | 4 ++--
 etc/extrasource/README | 1 +
 2 files changed, 3 insertions(+), 2 deletions(-)
 create mode 100755 etc/extrasource/README

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.
-- 
2.11.0