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