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.