_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
bug-texinfo@gnu.org
http://mail.gnu.org/mailman/listinfo/bug-texinfo