[wwwdocs] index.html -- compressions, string and format tweaks

[Ian Lance Taylor]

Gerald Pfeifer <gerald@pfeifer.com> writes:

> On Sun, 11 Jun 2006, Roger Sayle wrote:
> > On Sun, 11 Jun 2006, Gerald Pfeifer wrote:
> >> ... refer to docu instead of documention, ...
> > A more common four-letter contraction for documentation is "docs".
> 
> I also got a private mail on this, and will happily change this.  My
> only question is: "docs", or perhaps just "doc"?  Native speakers to
> the rescue! :-)

I would say "docs".  I think "doc" is also OK, but "docs" sounds
slightly better to me.

Ian