Texinfo / parse-info stuff



>>>>> "Leo" == Leo Butler <l_butler at users.sourceforge.net> writes:

    Ray> Ah, I was using gnome-terminal.  That doesn't seem to work and I get
    Ray> Gtk messages about locale not supported by C library, locale
    Ray> unchanged.

    Leo> Hmmm. The above command works for me with gnome-terminal in place of xterm.
    Leo> Do you have the locales installed?

That's probably it.  I'll poke around later.

    Leo> Also, with gnome-terminal I think you can create a profile with the
    Leo> desired encoding and open the terminal with that profile.

I tried that, but didn't see any way to set the profile with an
encoding.  I may have missed that too.

Ray