* builders/Make.tex.nw: better TOC