get rid of docs dependency

17 jobs for !965 with 1207-building-docs-independently-from-the-python-package in 3 minutes and 18 seconds (queued for 1 second)
latest merge request