Update documentation

Enable documentation compilation with the latest code and run a
documentation compilation.