Fix doc generation
For some reason the documentation worked locally with 973a18d
but does not
on CI.
pull/7905/head
parent
7a75fb0f38
commit
7d81de1469
Loading…
Reference in New Issue