Makefile: Do not build Doc if sphinx not found
If sphinx not found, make recipe will fail and it will throw error. Hence CI will also fail. Signed-off-by: Vaibhav Gupta <vaibhav.gupta@cern.ch>
Found errors in your .gitlab-ci.yml:
- Undefined error
| Status | Job ID | Name | Coverage |
|---|