On Sat, 9 Dec 2006, Jakub Narebski wrote: > > I'm a bit uncomfortable about removing documentation to existing > (if no-op) option. I'd rather it stay. How about mentioning it at the very end, under a "HYSTERICAL RAISINS" header. That way it's documented, and people still know to ignore it. Linus - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html