Updating the doc.zip file that contains the current PHP Manual in HTML format
[phpeclipse.git] / net.sourceforge.phpeclipse.phpmanual / build.properties
1 bin.includes = plugin.xml,\
2                META-INF/,\
3                icons/,\
4                phpmanual.jar
5 source.phpmanual.jar = src/
6 output.phpmanual.jar = bin/