User documentation at https://github.com/addrummond/ibex/blob/master/docs/manual.md

The following are some notes intended for developers.


1. Generating PDF documentation.
------------------------------------------------------------------------

Pandoc (http://pandoc.org) and LaTeX are required to generate PDF documentation.

Execute the following commands to generate a LaTeX version of the docs and then
compile it to a PDF:

    cd docs
    make manual.pdf


2. Packaging a release.
------------------------------------------------------------------------

You need to:

    * Run server.py with the --genhtml option to generate
      'experiment.html' and 'overview.html' in www/. For example, if
      you are in www/:

          python server.py --genhtml ./

    * Execute the following command from the root dir of the repo:

          sh mkdist.sh 0.3-beta-1234