On 09/27/2016 05:00 AM, Michael Kerrisk (man-pages) wrote:
Hi Bill,
Please re-read the original text. It ("that that") is okay, I believe.
Yes, I see where it's intentional in this case. "that that" sounds wrong to me, but I'm certainly no authority on the English language.
-- Bill -- 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
