2003-11-30 21:38:07 +00:00
|
|
|
bin.includes = plugin.xml,\
|
|
|
|
|
plugin.properties,\
|
|
|
|
|
plugin_fr.properties,\
|
|
|
|
|
toc.xml,\
|
2005-07-04 21:13:23 +00:00
|
|
|
doc.zip,\
|
|
|
|
|
schema/,\
|
|
|
|
|
lib/,\
|
|
|
|
|
core.jar
|
|
|
|
|
src.includes = build.properties,\
|
|
|
|
|
plugin.properties,\
|
|
|
|
|
plugin.xml,\
|
|
|
|
|
plugin_fr.properties,\
|
|
|
|
|
schema/,\
|
|
|
|
|
src/,\
|
|
|
|
|
toc.xml
|
2003-11-30 21:38:07 +00:00
|
|
|
source.core.jar = src/
|
2005-07-04 21:13:23 +00:00
|
|
|
output.core.jar = bin/
|
