Use doctoc to produce tables of contents