Re: [groff] [patch] do not strip mdoc macros

2019-03-14 Thread Ralph Corderoy
Hi Colin, > It would follow from Bjarni's argument, if accepted, that it is > objectively correct (a strong claim!) to install programs in scripting > languages on user systems only after first stripping comments from > them (or perhaps even only after also running them through a compiler, > where

Re: [groff] [patch] do not strip mdoc macros

2019-03-14 Thread Colin Watson
On Thu, Mar 14, 2019 at 12:43:53PM -0400, Doug McIlroy wrote: > Bjarni Ingi Gislason wrote: > > It is objectively correct to strip the macro files of bytes that are > > meaningless for the program "groff" > > > > It is objectively correct to _not_ strip the macro files of bytes > > that have a mean

Re: [groff] [patch] do not strip mdoc macros

2019-03-14 Thread Doug McIlroy
> It is objectively correct to strip the macro files of bytes that are > meaningless for the program "groff" > > It is objectively correct to _not_ strip the macro files of bytes > that have a meaning for humans. > > So provide both versions. The conclusion is compatible with the premises but does