refactoring

org.eclipse.help.ui/build.properties

diff --git a/org.eclipse.help.ui/build.properties b/org.eclipse.help.ui/build.properties
index 5e50652..1477ec3 100644
--- a/org.eclipse.help.ui/build.properties
+++ b/org.eclipse.help.ui/build.properties
@@ -1,4 +1,4 @@
-source.helpworkbench.jar=src/

-src.includes=about.html

-bin.includes=icons/,doc/,contexts.xml,plugin.xml,*.jar,plugin.properties,about.html

-

+source.helpworkbench.jar=src/
+src.includes=about.html
+bin.includes=icons/,doc/,contexts.xml,plugin.xml,*.jar,plugin.properties,preferences.ini,about.html
+