diff options
Diffstat (limited to 'jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/build.properties')
| -rw-r--r-- | jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/build.properties | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/build.properties b/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/build.properties index 64f61190a1..1601fbdf75 100644 --- a/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/build.properties +++ b/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/build.properties @@ -6,4 +6,12 @@ bin.includes = .,\ plugin.xml,\ html/,\ *.xml +src.includes = about.html,\ + plugin.xml,\ + plugin.properties,\ + build.xml,\ + html/,\ + img/,\ + pom.xml,\ + toc.xml generateSourceBundle=false |