Follow-up Comment #5, bug #67889 (group groff):
I'm happy to see an interesting conversation unfold regarding this (possibly?)
minor (lint) issue. What might be helpful to come to a better understanding
and decision on how to best proceed is to look at where and how @cover is
being used. A quick and possibly incomprehensive search reveals it is only
used as part of a @warning message in the definition of the @disable macro.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?67889>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
