Quoting Jani Nikula (2018/01/16 04:03:13 -0500) > Related, see scripts/documentation-file-ref-check. Thanks for the pointer. So perhaps (an updated version of) the script I gave originally could be put there. But doesn't seem there's much interest in it, at least for the time being. Genki -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html