message("TODO: implement doc generation")