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.