Revert "Really disable building of docs #15"

This reverts commit c942e20f3a2c2215c332264aedd97f6cd0396b06.
Add docs build error notice when building from git tree