core: fix building the edocs