From f7ba7b88df58fb37c9d325f0e61a712f14c8f0d0 Mon Sep 17 00:00:00 2001
From: Darin Wright
Date: Wed, 6 Jun 2001 15:58:05 +0000
Subject: build tool upate

---
 org.eclipse.debug.core/build.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'org.eclipse.debug.core/build.properties')

diff --git a/org.eclipse.debug.core/build.properties b/org.eclipse.debug.core/build.properties
index 201ec27ca..637c89ad6 100644
--- a/org.eclipse.debug.core/build.properties
+++ b/org.eclipse.debug.core/build.properties
@@ -4,7 +4,7 @@ bin.includes = .options,\
 build.includes = .options,\
                  plugin.jars,\
                  plugin.xml,\
-                 doc,\
+                 doc/,\
                  build.properties
 build.vaj.Eclipse\ Debug\ Core = Eclipse Debug Core
 source.dtcore.jar = Eclipse Debug Core
-- 
cgit v1.2.1