ensime/ensime-src — pull request #414 by edani (2014-06-21 19:51:10+00:00)
Title: Make gen_manual.sh work out of the box

This is what I used to generate the manual. I changed the git URL to git@ hopefully everyone is ok with it.