Don't show the ghci :? output in the user guide
authorIan Lynagh <igloo@earth.li>
Fri, 13 Jul 2007 22:30:17 +0000 (22:30 +0000)
committerIan Lynagh <igloo@earth.li>
Fri, 13 Jul 2007 22:30:17 +0000 (22:30 +0000)
commit05db902f49dab5d7aabf67747997c9064d3b92e1
tree7adadad4d36c6e47cd29e925cbe3b1921fbd5c67
parente681519a1236b4d2a2412cc1ce005098b92dae23
Don't show the ghci :? output in the user guide
The ghci command list is now much larger than it used to be, and it
tends to go out of sync with the docs anyway.
docs/users_guide/ghci.xml