Don't include any plugins (or other files by accident) as default

diff --git a/build.xml b/build.xml
index 5768ff7f573442886afeee907b65a192670d8b61..3596136c8a9817ee3492fea354dd3d1d9f372d3d 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -7,7 +7,7 @@
     <property name="JAR" value="${BUILD_DIR}/js.jar" />\r
        \r
        <property name="PLUGIN_DIR" location="../plugins" />\r
-       <property name="PLUGINS" value="" />\r
+       <property name="PLUGINS" value="none" />\r
        
     <property name="PREFIX" value="." />
     <property name="DOCS_DIR" value="${PREFIX}/docs" />