❦ 31 décembre 2016 11:27 +0100, "Michael Kerrisk (man-pages)" <mtk.manpages@xxxxxxxxx> : >> The removed paragraph is identical to the one a few lines above. > > Gosh! The duplication was injected back in man-pages-1.34 (2000)! > Back in man-pages-1.33, it was the second instance only that was > present, so I'm inclined to remove the other instance (opposite > of your patch). What do you think? I think both solutions are fine. -- Use debugging compilers. - The Elements of Programming Style (Kernighan & Plauger) -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html