waf: fix TOC generation build_pdfmanual