[Grok-dev] Re: heading layout on website

[Martijn Faassen]

Philipp von Weitershausen wrote:
[snip]
> Cool, thanks. I wonder whether index.txt really belongs in grok/doc... 
> Probably not, it's a bit specific to the website.

But as it's easier for now, let's keep it in there. :) It has the great 
benefit all documents that make up the website are maintained together. 
People reading the checkout that find it won't be confused very long 
about what it really is, I think.

Regards,

Martijn