Re: new flag? wml -U

[Denis Barbier <nospam@thanx>]

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