On Mon, Dec 23, 2013 at 1:54 PM, Tom Tromey <[email protected]> wrote: >>>>>> "Doug" == Doug Evans <[email protected]> writes: > > Doug> For those that don't care, "info pretty-printer" can still print > Doug> all of them. "info pretty-printer" et.al. would need some work, > Doug> sure, and one way to go would be to use "info <ext-lang> > Doug> pretty-printer". > > I don't understand what this means.
The "info pretty-printer" command would invoke "info <ext-lang> pretty-printer".
