ProB 2.0 Handbook

Repository for the ProB 2.0 Handbook.

• The handbook is located at https://stups.hhu-hosting.de/handbook/prob2/prob_handbook.html

• A PDF is available from https://stups.hhu-hosting.de/handbook/prob2/prob_handbook.pdf

Building

Assuming you have all necessary dependencies installed (see below), run:

$ make

The documentation will be built in HTML and PDF format and output into the build directory.

Dependencies

The build requires Asciidoctor with the BibTeX, diagram, and PDF extensions. These dependencies are available in most package managers and as a Docker image asciidoctor/docker-asciidoctor.

You can also use an existing Ruby installation and Bundler to install the dependencies:

$ bundle config set --local path vendor/bundle
$ bundle install

Then use bundle exec make to run the build.