mod_development: fix build of edoc.