On 18.06.15 09:47, Jon LaBadie wrote: > I was certain you meant "%?". But to be certain I looked at my > "manual.txt" and searched for '$?'. There were tons of them. > Yet there were zero '$?' in my "manual.html".
Jon, you're spot on. Sorry for the typo. (Late in the day, when there's too little caffeine in the blood, those cartoon swearword characters on the top keyboard row are harder to catch than the rest.) > Turns out the original was written with distinctive opening and > closing double quotes. When it was converted to the simpler ".txt" > version there were no equivalent characters and they both became > question marks "?". So everywhere there was > <open_quote>$<close_quote> > it became > ?$? That's curious. The manual I use; just hit <F1> in mutt, does (AIUI) a zcat /usr/share/doc/mutt/manual.txt.gz but a search found no \$\? there. (So circumstances have conspired to confuse.) Erik
