Make gen_manual.sh work out of the box - 2.9

backport of #414