PageRenderTime 50ms CodeModel.GetById 24ms RepoModel.GetById 0ms 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
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0 
    

  1. ###
    2. 

  2. ### Build property file for jEdit
    3. 

  3. ###
    4. 

  4. 

  5. ### Uncomment these two lines if you want to use jikes
    6. 

  6. #build.compiler=jikes
    7. 

  7. #build.compiler.emacs=true
    8. 

  8. 

  9. ### Parameters for building PDF user's guide using OpenJade and the DocBook
    10. 

  10. ### DSSSL stylesheets.
    11. 

  11. docbook.dtd.catalog=/usr/local/share/xml/docbook/4.2/docbook.cat
    12. 

  12. docbook.dsssl.catalog=/usr/local/share/sgml/docbook/dsssl/modular/catalog
    13. 

  13. dsssl.dtd.catalog=/usr/local/share/sgml/openjade/catalog
    14. 

  14. xml.dcl=/usr/local/share/sgml/openjade/OpenSP/xml.dcl
    15. 

  15. 

  16. ### If you want to build the user's guide and FAQ, set this property to
    17. 

  17. ### the path of the DocBook-XSL stylesheets
    18. 

  18. docbook.xsl=/usr/local/share/xsl/docbook
    19. 

  19. 

  20. ### If you want to create the javadocs, set this to your JDK's tools.jar path.
    21. 

  21. tools.jar=/usr/local/j2sdk1.4.2/lib/tools.jar
    22. 

  22.