README - Documentation

To create the manual pdf please use the script:

compile_LaTeX_manual.sh

If Problems with the compilation occur or Latex isn't installed on your PC,
please visit https://git.scc.kit.edu/GPIAG-Software/DENISE/wikis/home.
The manual of the latest Release is placed on this page.