Revert "Fix develop docs build"

This reverts commit 5fd44ef160a4a4cfbe072b47319eebc1892c16cb.