doc/texinfo.tex
changeset 392 b8d635e1672d