From 8da7b8c6690b054cea3ace3a3165c57f33d49b5e Mon Sep 17 00:00:00 2001
From: Diomidis Spinellis <dds@aueb.gr>
Date: Mon, 26 Dec 2005 17:20:26 +0000
Subject: [PATCH] Import environment variables, so that we can run javadoc.

---
 build.xml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/build.xml b/build.xml
index f7e8da9..858e3bf 100644
--- a/build.xml
+++ b/build.xml
@@ -10,10 +10,8 @@
 <property name="javadoc" location="javadoc"/>
 <property name="lib" location="lib"/>
 <property name="testsrc" location="test/src"/>
-<!-- import environment variables
+<!-- import environment variables -->
 <property environment="env"/>
--->
-
 
 <target name="init">
 	<!-- Create the time stamp -->