diff options
Diffstat (limited to 'plugins/org.yocto.doc.user/build.properties')
-rw-r--r-- | plugins/org.yocto.doc.user/build.properties | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/plugins/org.yocto.doc.user/build.properties b/plugins/org.yocto.doc.user/build.properties new file mode 100644 index 0000000..cbceb14 --- /dev/null +++ b/plugins/org.yocto.doc.user/build.properties | |||
@@ -0,0 +1,9 @@ | |||
1 | bin.includes = plugin.xml,\ | ||
2 | .,\ | ||
3 | META-INF/,\ | ||
4 | OSGI-INF/,\ | ||
5 | html/,\ | ||
6 | toc.xml,\ | ||
7 | about.html | ||
8 | src.includes = html/,\ | ||
9 | about.html | ||