/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