OMakeroot: fix bug in doc build