diff --git a/launch/org.eclipse.cdt.launch/build.properties b/launch/org.eclipse.cdt.launch/build.properties index 2649b44cf9b..c5fb91d1d8f 100644 --- a/launch/org.eclipse.cdt.launch/build.properties +++ b/launch/org.eclipse.cdt.launch/build.properties @@ -19,4 +19,5 @@ javadoc.packages = org.eclipse.cdt.launch.ui.*,\ org.eclipse.cdt.launch.sourcelookup*,\ org.eclipse.cdt.launch.* source.. = src/ -src.includes = about.html +src.includes = about.html,\ + schema/