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


Former-commit-id: c13a18636352941dd0054514d194aee1f8282faf [formerly c13a18636352941dd0054514d194aee1f8282faf [formerly 26288f7410d99d449871983f0eb1970fe679d9a2]]
Former-commit-id: c88a637f56d448618629a8c2250d836ce7949e97
Former-commit-id: 5a708184fb190e4ac35881fef471ab99a4b86434
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine