/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. 

  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.