Trying to fix doc submodule.