Re: docs: Fixing "sphinxify coccinelle.txt"?

From: SF Markus Elfring
Date: Fri Oct 07 2016 - 09:10:53 EST

>>> Information from a commit like "docs: sphinxify coccinelle.txt and add it
>>> to dev-tools" caught also my software development attention.
>>> Did an other information from a comment become outdated in the script "coccicheck"
>>> because of such changes for the documentation format?
>> How about submitting a patch to fix the problem?
> Is the published commit (from 2016-08-08 / 2016-08-18) generally questionable
> as I see it by the interface "cgit" at the moment?
> * Does this one contain only the deletion of the file "Documentation/coccinelle.txt"?

It seems that I got an inappropriate impression from this kind of
data display alone.

The display for the changed file name contains only the desired addition.

> I find another data display also interesting and more promising.
> * Should this patch about the desired file format conversion become available
> also by the other known interfaces?

The interface "cgit v0.12" does not indicate the involved "renaming" (similarity index 56%)
so far which can be better seen in the downloadable patch file.