clean up doctrees