build.props

# required settings
# linux:
jedit.install.dir=${user.home}/apps/jedit/4.3pre6
docbook.xsl=file:///usr/share/sgml/docbook/xsl-stylesheets-1.60.1
docbookx.dtd=file:///usr/share/sgml/docbook/xml-dtd-4.1.2/docbookx.dtd

# windows:
#jedit.install.dir=c:/jEdit
#docbook.xsl=file:///C:/cygwin/usr/share/docbook-xsl
#docbookx.dtd=file:///C:/cygwin/usr/share/docbook-xml42/docbookx.dtd

install.dir=${user.home}/.jedit/jars
build.num=3.2.19

# optional settings, remove if you don't use jikes
#build.compiler=jikes
#build.compiler.emacs=true

# compiler settings
showDebug=false
showDeprecated=false
showWarnings=false

prep.dir=c:/tigris/antelope/prep
config.dir=c:/tigris/antelope/prep/config
doc.dir=c:/tigris/antelope/prep/docs
classes.dir=c:/tigris/antelope/classes
dist.dir=c:/tigris/antelope/dist