* generators/CompilerGenerator.tex.nw: use ../docs/latex/