drop html docs from the dmd distribution?

[Steven Schveighoffer]

On Sun, 03 Feb 2013 20:53:32 -0500, Nick Sabalausky  
<SeeWebsiteToContactMe at semitwist.com> wrote:

> On Sun, 03 Feb 2013 15:58:35 -0800
> Walter Bright <newshound2 at digitalmars.com> wrote:
>>
>> drop html docs from the dmd distribution?
>
> PLEASE NO.
>
>> They seem rather pointless, considering:
>>
>> 1. them being on the web is better anyway
>
> Not when you don't have internet access or when you need docs an older
> version.

+1

-Steve