Removed remaining lines from the --with-pager=... removal, months ago.
[mmh] / etc / mhl.reply
2008-06-13 Josh Bressers* man/repl.man, etc/mhl.reply:
1999-04-30 Doug MorrisInitial revision