add 'public-domain' non-license file that explains that it is to be a

target for LICENSE= for packages that are not copyrighted.

1 files changed, 12 insertions, 0 deletions

diff --git a/licenses/public-domain b/licenses/public-domain
new file mode 100644
index 00000000000..f11204b54a3
--- /dev/null
+++ b/licenses/public-domain
@@ -0,0 +1,12 @@
+This file exists to be the target of
+
+LICENSE=	public-domain
+
+It is pointed to by packages whose contents are not subject to
+copyright.  (Note that this file does not actually define a license;
+we use this mechanism rather than adding a COPYRIGHTED variable
+because public domain files are fairly rare and in such cases the
+convenience of LICENSE=public-domain is more important than
+pendantry.)
+
+