On Sat, 23 Dec 2017, Paul A. Rubin wrote:
That would be running buffer-chktex in the minibuffer, as Scott mentioned ... except you said it wouldn't work. :-(
Paul, I'll try it again. And, how do I get the minibuffer back at the bottom of the window rather than on the right side? Not sure what I did to move it but I cannot move it back now. Thanks, Rich