Place mandoc.css into the public domain.

The reason for doing this rather than using the ISC license
is that i guess that in some contexts, a requirement to preserve
a Copyright and license header might be inconvenient, and i really
don't care at all how people use it.

What matters is that they do use it, or something similar - attempts
to use mandoc without any CSS are a constant source of grief and
bogus bug reports because HTML without CSS doesn't look very good:
the more structural and semantic and the less presentational and
old-fashioned the HTML, the more so.

Thanks to Mark Harris <mark dot hsj at gmail dot com> for pointing out
that the permissions on this particular file were unclear.

1 files changed, 6 insertions, 1 deletions

diff --git a/mandoc.css b/mandoc.css
index a32d92e2..fedfab9d 100644
--- a/mandoc.css
+++ b/mandoc.css
@@ -1,6 +1,11 @@
-/* $Id: mandoc.css,v 1.38 2018/11/24 23:03:18 schwarze Exp $ */
+/* $Id: mandoc.css,v 1.39 2018/11/26 15:02:38 schwarze Exp $ */
 /*
  * Standard style sheet for mandoc(1) -Thtml and man.cgi(8).
+ *
+ * Written by Ingo Schwarze <schwarze@openbsd.org>.
+ * I place this file into the public domain.
+ * Permission to use, copy, modify, and distribute it for any purpose
+ * with or without fee is hereby granted, without any conditions.
  */
 
 /* Global defaults. */