This leaves us with the question of what constitutes appropriate use
of @inforef.How about if you and whoever else is specifically interested discuss this on bug-texinfo? _______________________________________________ Emacs-devel mailing list Emacs-devel@gnu.org http://lists.gnu.org/mailman/listinfo/emacs-devel
