Fix documentation generation in the docker container

For the not having dev-requirements.txt in production to work, we need to find a way around the documentation generation.

Edited by Thom Wiggers