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
andgit push
- deploy using git subtree command:
git subtree push --prefix _book origin gh-pages