On Sat 02 Oct 2010 00:55, l...@gnu.org (Ludovic Courtès) writes: > Another option would be to keep the prompt but use a simpler one in the > manual, as is often done with shell transcripts.
I think I prefer this option, for now. I'll do this the next time our prompt bothers me in the manual :) Andy -- http://wingolog.org/
