../texinfo.tex