Make gen_manual.sh work out of the box
Merge pull request #414 from edani/gen_manual

Make gen_manual.sh work out of the box