Add the doctrees