[Date Index][Thread Index]
[Date Prev][Date Next][Thread Prev][Thread Next]

Re: new flag? wml -U

On Mon, Aug 27, 2001 at 03:45:16PM +0200, Denis Barbier wrote:
> Maybe we could adopt a convention, say -Dfoo=_undef to ask wml to
> undefine this value (and also delete all previous declarations) before
> passing it to every pass, a patch is attached, you may apply it against
> wml_frontend/wml.src or your wml script.

Jan, could you please tell if this idea would suit your needs, and
otherwise explain why you really need the -U flag.

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