Add manual/texinice.tex.