Better error management in doc/manual/build.sh
Better error management in doc/manual/build.sh


Former-commit-id: 26288f7410d99d449871983f0eb1970fe679d9a2
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine