Removed unused line in the manual [skip CI]
Removed unused line in the manual [skip CI]


Former-commit-id: 54a4dad0b139093d040bca68af2b85e4dd7be9af [formerly 9052f7f3b6869317d8e4537a7d859d595feb974c]
Former-commit-id: e2deda2b5bf56ccc8ce62735fafbb2317b3ffc40
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine