debug and readline options doc tweak
authorAndy Wingo <wingo@pobox.com>
Fri, 1 Oct 2010 09:15:12 +0000 (11:15 +0200)
committerAndy Wingo <wingo@pobox.com>
Fri, 1 Oct 2010 09:15:12 +0000 (11:15 +0200)
commit84898084c0a56dbcf1e4753ae73d4462425cf9fa
tree504077bf081619b47cf1c673bda73502cf09acc2
parent1518f6494873c4bc4bced49d3e0e903f37c644c6
debug and readline options doc tweak

* doc/ref/api-options.texi (Debugger options):
* doc/ref/repl-modules.texi (Readline Options): Use 'help instead of
  'full (they are entirely equivalent right now). Update output to show
  options in the right order.
doc/ref/api-options.texi
doc/ref/repl-modules.texi