Skip to main content

Building Manual.

The manual PDF file is generated by concatenating relevant markdown files and by transforming the result using Gimli to obtain the final PDF file. This steps are handled automatically by the script located in the root of the repository next to the Makefile.

Requirements & Installation

The PDF manual generation uses the Gimli for the conversion. It can be installed via ruby gems. On Debian based systems the installation steps are:

    sudo apt-get install ruby1.9.1 ruby1.9.1-dev rubygems zlib1g-dev wkhtmltopdf libxml2-dev libxslt-dev
sudo gem1.9.1 install gimli


All markdown files need to be registered in the file individually by modifying the doc_files variable / array:

doc_files=( ''
'Board -'