diff configure.ac @ 11405:51b6193e90bb

Documentation fixes * input.cc (PS1): Give an example of how PS1 can use ANSI escape codes for getting a colourised prompt. * oct-hist.cc (history): Correct documentation about how history('-r') appends to history, doesn't replace it.
author Jordi Gutiérrez Hermoso <jordigh@gmail.com>
date Wed, 22 Dec 2010 03:53:39 -0500
parents f46aeb3ea6b7
children 8837a42205d3
line wrap: on
line diff