re-enable docs

5 jobs for master
Status Job ID Name Coverage
  Build
canceled #55877
fp
build-coq.8.10.2

canceled #55876
fp-timing
build-coq.8.11.0

canceled #55879
fp
build-coq.8.8.2

canceled #55878
fp
build-coq.8.9.1

canceled #55875
fp
build-coq.dev