Updated doc in build.properties.dist file