enable docs again

11 jobs for master in 13 minutes and 10 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #55858
fp
build-coq.8.10.2

00:03:55

passed #55837
fp-timing
build-coq.8.11.0

00:03:37

passed #55861
fp
build-coq.8.7.2

00:03:48

passed #55860
fp
build-coq.8.8.2

00:03:24

passed #55859
fp
build-coq.8.9.1

00:03:45

passed #55857
fp
build-coq.dev

00:09:32

failed #55838
fp
build-coq.8.10.2

00:01:53

failed #55841
fp
build-coq.8.7.2

00:01:35

failed #55840
fp
build-coq.8.8.2

00:01:39

failed #55839
fp
build-coq.8.9.1

00:01:52

failed #55836
fp
build-coq.dev

00:06:26