From 853001e62ecc11278e4521d5eebbf754e4a923c8 Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Thu, 5 Dec 2002 14:15:26 +0000
Subject: [PATCH] Include README.txt (which is up to date) and exclude docs/
 (which is outdated)

---
 build/build.xml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/build/build.xml b/build/build.xml
index 6e1b572d..abf9ce7e 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -196,10 +196,13 @@
         <!-- copy the launcher jar file -->
         <copy file="${home.dir}/launcher.jar" todir="${build.work}/"/>
 
+        <!-- copy README.txt -->
+        <copy file="${home.dir}/README.txt" todir="${build.work}/"/>
+
         <!-- copy the whole docs-directory -->
-        <copy todir="${build.work}/docs">
+        <!-- copy todir="${build.work}/docs">
             <fileset dir="${build.docs}"/>
-        </copy>
+        </copy -->
 
         <!-- copy all libraries except helma-YYYYMMDD.jar -->
         <copy todir="${build.work}/lib">