Re: July 2nd Tidy: drop-font-tags

On Sat, 3 Jul 1999, Jelks Cabaniss wrote:

> The new Tidy is *great*.
> 
> "drop-font-tags" has proven to be a life saver -- is there any
> reason why one must specify the "clean" option as well in order
> to use it?  Could not "drop-font-tags" invoke "clean"
> automatically, thus removing the need to specify two options for
> one action?

I don't see why not.

Thanks,

-- Dave Raggett <dsr@w3.org> http://www.w3.org/People/Raggett
phone: +44 122 578 2984 (or 2521) +44 385 320 444 (gsm mobile)
World Wide Web Consortium (on assignment from HP Labs)