Andy Wilkinson af32d6e8ee Allow LOG_FOLDER and PID_FOLDER defaults to be set at build time ...

This commit enhances the default launch script to allow the default
values for LOG_FOLDER and PID_FOLDER to be set at build time. They
can now be set using the logFolder and pidFolder properties
respectively.

Closes gh-4787

2016-02-25 12:25:41 +00:00

..

asciidoc

Allow LOG_FOLDER and PID_FOLDER defaults to be set at build time

2016-02-25 12:25:41 +00:00

docbook

Don't set text color of <code> elements when they're beneath an <a>

2015-07-23 12:06:02 +01:00

groovy

Improve formatting of generated doc tables

2014-06-09 20:03:17 -07:00

javadoc

Consistent javadoc "code" block formatting

2014-02-11 14:19:01 -08:00

xslt

Improve formatting of generated doc tables

2014-06-09 20:03:17 -07:00