On 2022-11-23 05:48, Alejandro Colomar wrote:
diff --git a/zic.8 b/zic.8 index f79148f4..c2c61739 100644 --- a/zic.8 +++ b/zic.8 @@ -1,3 +1,7 @@ +.\" %%%LICENSE_START(PUBLIC_DOMAIN) +.\" This page is in the public domain +.\" %%%LICENSE_END +.\" .TH ZIC 8 .SH NAME zic \- timezone compiler
Let's not do that upstream. The file already contains a public-domain notice at the bottom, in a human-readable format that is visible to anybody who looks at the printable version of the man page. Let's not put in comments for every downstream user with its own idiosyncratic machine-readable way of repeating what's already there.