On Mon, 15 May 2017, Peter Zijlstra <peterz@xxxxxxxxxxxxx> wrote: > The intention is to aid readability. Making comments worse so that some > retarded script can generate better html or whatnot is just that, > retarded. > > Code matters, generated documentation not so much. I'll take a comment > that reads well over one that generates pretty html any day. The deal is that if you start your comments with "/**" they'll be processed with the retarded script to produce pretty html. For the most part the comments that generate pretty html also read well, and we don't expect or want anyone to go overboard with markup. I don't think it's unreasonable to make small concessions to improve generated documentation for people who care about it even if you don't. BR, Jani. -- Jani Nikula, Intel Open Source Technology Center -- 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
