This is quite honestly less than an ideal way to document something. If 
hard tabs vs 8 spaces is an issue/need this should be spelled out in detail
rather than presume someone will read the file with cat -t....

James

>
>> >- Use tab instead of 8 spaces.
>> 
>> Where does anything specify this in share/misc/style? I've looked
>> and can't find any hard reference for this (and mixing hard tabs and
>> spaces for indenting always tends to be problematic with differing
>> editors).
>
>Please do `cat -t misc/style | more'.  You would see that tab is used
>for basic indentation.
>
>enami.
>
>
>
>