[PATCH v6 06/14] reindex: drop all properties named with prefix "index."

[Daniel Kahn Gillmor]

On Thu 2017-10-19 08:54:25 -0300, David Bremner wrote:
> Daniel Kahn Gillmor <dkg at fifthhorseman.net> writes:
>
>>   *
>> + * Notmuch has some conventions about how certain properties are
>> + * treated.  Those conventions include:
>> + *
>> + * - properties whose name begins with "index." are cleared (and
>> + *   possibly re-set) upon reindexing.
>> + *
>>   */
>
> I wonder if this duplication of documentation is a good idea. I agree
> it's conceptually part of the API, but I worry that the two copies will
> drift apart. One option would be to have notmuch.h comment point to the
> man page.

Good catch.  I've updated this in my series on gitlab.

     --dkg