diff options
| author | david_williams | 2009-12-09 05:29:27 +0000 |
|---|---|---|
| committer | david_williams | 2009-12-09 05:29:27 +0000 |
| commit | 5761739b1d9abb5e5c1df796b5e45c22dc5cc2ef (patch) | |
| tree | b3c9960ae839e8842b858008faa7d8f2cfe7bc0c /docs/org.eclipse.jst.j2ee.doc.user | |
| parent | 2abbf063e8632a35e56fc586a1db902103e999ac (diff) | |
| download | webtools.javaee-5761739b1d9abb5e5c1df796b5e45c22dc5cc2ef.tar.gz webtools.javaee-5761739b1d9abb5e5c1df796b5e45c22dc5cc2ef.tar.xz webtools.javaee-5761739b1d9abb5e5c1df796b5e45c22dc5cc2ef.zip | |
297120 many build.properties files have extra entries
Diffstat (limited to 'docs/org.eclipse.jst.j2ee.doc.user')
| -rw-r--r-- | docs/org.eclipse.jst.j2ee.doc.user/build.properties | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/org.eclipse.jst.j2ee.doc.user/build.properties b/docs/org.eclipse.jst.j2ee.doc.user/build.properties index 10f19b18a..bf935183e 100644 --- a/docs/org.eclipse.jst.j2ee.doc.user/build.properties +++ b/docs/org.eclipse.jst.j2ee.doc.user/build.properties @@ -8,8 +8,7 @@ bin.includes = images/,\ META-INF/,\ about.html,\ org.eclipse.jst.j2ee.doc.userindex.xml -src.includes = build.properties,\ - *.maplist,\ +src.includes = *.maplist,\ *.ditamap,\ topics/*.dita bin.excludes = DocBuild.xml,\ |