extrasource added again
authorzapata <zapata>
Mon, 20 Jan 2003 19:49:09 +0000 (19:49 +0000)
committerzapata <zapata>
Mon, 20 Jan 2003 19:49:09 +0000 (19:49 +0000)
build.xml
etc/extrasource/README [new file with mode: 0755]

index 1c0ff36..58d7591 100755 (executable)
--- 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>
     <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 (executable)
index 0000000..ac03eae
--- /dev/null
@@ -0,0 +1 @@
+This directory is for local source files.