doc/texinfo.tex
changeset 372 e6a156fc186d