From eac56b4bfd589f365830510718b59ab4fda8ac92 Mon Sep 17 00:00:00 2001
From: Ethan Lee <flibitijibibo@gmail.com>
Date: Thu, 2 Feb 2012 17:12:07 -0500
Subject: [PATCH] Fixes a bug where the source distrubution .zip would not pick
 up all of the files in doc/.

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 79dc14c..cff4f0a 100644
--- a/build.xml
+++ b/build.xml
@@ -166,7 +166,7 @@
 				<include name="executables/**"/>
 				<include name="findbugs/**"/>
 				<include name="lib/**"/>				
-				<include name="doc/*.*"/>
+				<include name="doc/**"/>
 				<include name="src/**"/>
 				<include name="build.xml"/>
 			</zipfileset>