diff options
author | Dean Roberts | 2002-05-31 21:16:11 +0000 |
---|---|---|
committer | Dean Roberts | 2002-05-31 21:16:11 +0000 |
commit | eebe562028c3bcbc63c7d6b58547f1f425168e02 (patch) | |
tree | b86d5dc9321bea22ac40c06bfd95be518a3623de | |
parent | 64ae9bb34f780fd748df587d2c2369a66cdf27f9 (diff) | |
download | eclipse.platform.debug-eebe562028c3bcbc63c7d6b58547f1f425168e02.tar.gz eclipse.platform.debug-eebe562028c3bcbc63c7d6b58547f1f425168e02.tar.xz eclipse.platform.debug-eebe562028c3bcbc63c7d6b58547f1f425168e02.zip |
Add src.includes=about.html
-rw-r--r-- | org.eclipse.debug.core/build.properties | 1 | ||||
-rw-r--r-- | org.eclipse.debug.ui/build.properties | 1 | ||||
-rw-r--r-- | org.eclipse.ui.externaltools/build.properties | 2 |
3 files changed, 4 insertions, 0 deletions
diff --git a/org.eclipse.debug.core/build.properties b/org.eclipse.debug.core/build.properties index 2aa514bca..9a9904eb2 100644 --- a/org.eclipse.debug.core/build.properties +++ b/org.eclipse.debug.core/build.properties @@ -4,3 +4,4 @@ bin.includes = .options,\ *.jar,\
about.html
source.dtcore.jar = core/
+src.includes=about.html
diff --git a/org.eclipse.debug.ui/build.properties b/org.eclipse.debug.ui/build.properties index 8b7fb481b..f3399369c 100644 --- a/org.eclipse.debug.ui/build.properties +++ b/org.eclipse.debug.ui/build.properties @@ -6,3 +6,4 @@ bin.includes = icons/,\ about.html
source.dtui.jar = ui/
+src.includes=about.html
diff --git a/org.eclipse.ui.externaltools/build.properties b/org.eclipse.ui.externaltools/build.properties index 0c6218c71..a7e53a5b5 100644 --- a/org.eclipse.ui.externaltools/build.properties +++ b/org.eclipse.ui.externaltools/build.properties @@ -2,6 +2,8 @@ source.externaltools.jar = External Tools/ source.lib/antbuilder.jar = Ant Builder +src.includes=about.html + bin.includes = icons/,\ .options,\ plugin.properties,\ |