diff options
Diffstat (limited to 'plugins/developer/org.eclipse.papyrus.documentation.plugin.edit/build.properties')
| -rw-r--r-- | plugins/developer/org.eclipse.papyrus.documentation.plugin.edit/build.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/developer/org.eclipse.papyrus.documentation.plugin.edit/build.properties b/plugins/developer/org.eclipse.papyrus.documentation.plugin.edit/build.properties index ec2e13c4729..775cf23db78 100644 --- a/plugins/developer/org.eclipse.papyrus.documentation.plugin.edit/build.properties +++ b/plugins/developer/org.eclipse.papyrus.documentation.plugin.edit/build.properties @@ -12,3 +12,4 @@ bin.includes = .,\ jars.compile.order = .
source.. = src-gen/
output.. = bin/
+src.includes = about.html |