PageRenderTime 31ms CodeModel.GetById 28ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre14/build.properties

#
Properties File | 21 lines | 6 code | 4 blank | 11 comment | 0 complexity | ff6f8fc5196fdfa81f2f9b0c352ee45a MD5 | raw file
 1###
 2### Build property file for jEdit
 3###
 4
 5### Uncomment these two lines if you want to use jikes
 6#build.compiler=jikes
 7#build.compiler.emacs=true
 8
 9### Parameters for building PDF user's guide using OpenJade and the DocBook
10### DSSSL stylesheets.
11docbook.dtd.catalog=/usr/local/share/xml/docbook/4.2/docbook.cat
12docbook.dsssl.catalog=/usr/local/share/sgml/docbook/dsssl/modular/catalog
13dsssl.dtd.catalog=/usr/local/share/sgml/openjade/catalog
14xml.dcl=/usr/local/share/sgml/openjade/OpenSP/xml.dcl
15
16### If you want to build the user's guide and FAQ, set this property to
17### the path of the DocBook-XSL stylesheets
18docbook.xsl=/usr/local/share/xsl/docbook
19
20### If you want to create the javadocs, set this to your JDK's tools.jar path.
21tools.jar=/usr/local/j2sdk1.4.2/lib/tools.jar