Re: Minor fix for command line options

[Denis Barbier <nospam@thanx>]

On Fri, 16 Jul 1999, Simon Burr wrote:

> Whilst playing with wml today I came across the following - whilst the
> wml usage info says that the safe mode can be used by giving -s or --safe,
> the getopts function is told that the options are -s or -speedup. The following
> patch, against the current CVS tree, fixes this,

Hi Simon,

i commit it (and apply your patch to wmk.src too)
Thanx for your report.

--
Denis Barbier
WML Maintainer


______________________________________________________________________
Website META Language (WML)                www.engelschall.com/sw/wml/
Official Support Mailing List                   sw-wml@engelschall.com
Automated List Manager                       majordomo@engelschall.com