Tools is good...
Oliver Rutherford wrote:
> > However, if they were installed by default, it might
> > be more intuitive if they were named something like
> > rest2html, rest2xml, etc...
David Goodger replied:
> Perhaps, although I'd prefer "rst" to "rest". Opinions?
On the grounds that shorter prefixes are generally better than longer,
I'd vote for "rst" (anyway, if I type "rest" I actually want to
capitalise it as "reST", which makes no sense for command line tool
Tony J Ibbs (Tibs) http://www.tibsnjoan.co.uk/
Give a pedant an inch and they'll take 25.4mm
(once they've established you're talking a post-1959 inch, of course)
My views! Mine! Mine! (Unless Laser-Scan ask nicely to borrow them.)