Merge branch 'master' of github.com:einhander/cin-manual-latex