Documenting Joshua

Developers can contribute to this manual to keep the descriptions of the code up-to-date and provide usage instructions and examples. Source code documentation is automatically extracted from the source code, including those JavaDoc tags contained in comments. These manual pages are written using the Markdown syntax.

Requirements

Instructions

Edit the JavaDoc tagging as needed in the source code.

Edit the source in the $JOSHUA/doc/*.md manual pages or create new ones in the directory. (Note the use of reference links in the manual sources.)

Regenerate the updated documentation by running the following ant target:

cd $JOSHUA
ant documentation

Preview the regenerated manual by opening $JOSHUA/doc/html/index.html in a web browser.

Documentation

Documenting Joshua is of great importance. The manual is automatically generated using Doxygen. Find out more on the [documentation](@ref documentation) page.

Style guide

Format

If you are using Eclipse, the project settings can be loaded automatically by pointing Eclipse to the $JOSHUA/.settings/ directory. If you are using another tool, please follow these conventions: