From c38d0cb27cb450cd0f479ffb6615bffa6b74654e Mon Sep 17 00:00:00 2001 From: Ingo Schwarze Date: Mon, 26 Nov 2018 15:02:38 +0000 Subject: 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 for pointing out that the permissions on this particular file were unclear. --- mandoc.css | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) 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 . + * 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. */ -- cgit v1.2.3