remove doctoc in PDF documentation