how do I reset that?
Phil
_______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo help-texinfo@gnu.org http://lists.gnu.org/mailman/listinfo/help-texinfo
_______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo help-texinfo@gnu.org http://lists.gnu.org/mailman/listinfo/help-texinfo