This repository holds the sources for the EMU-SDMS manual: https://ips-lmu.github.io/The-EMU-SDMS-Manual/

For Developers:

deploy

• build (e.g. cmd+shif+B)
• git commit and git push
• deploy using git subtree command: git subtree push --prefix _book origin gh-pages