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

backport of #414