5f4ba9e3118cbf396f3141c1b84076850ed15f2b
[java-idp.git] / custom / extension-build.properties
1 # DO NOT EDIT THIS FILE
2
3 ext.lib=${ext.root}/lib
4 ext.etc=${ext.root}/etc
5 ext.src=${ext.root}/src
6 ext.test-src=${ext.root}/tests
7 ext.webpages=${ext.root}/web
8 ext.dist=${ext.root}/dist
9 ext.classes=${ext.dist}/classes
10 ext.docs=${ext.dist}/docs
11
12 # Properties controlling build behavior
13 gen.ext.docs=true
14 test.ext=true