> Stuart Henderson wrote: > > On 2015/12/08 13:22, Marc Espie wrote: > > > Keep the version, whatever it is. > > > > > > The "check of ports" is annoying, because some of these checks may > > > be in scripts and happen at runtime for ports. > > > > > > The way it usually happens is: something breaks -> porters don't > > > have time to check too closely -> someone moves the ports to using > > > gnu grep instead. > > > > > > > > > I had rather we had as much stuff as possible working with the base > > > system. > > > > > > Having --version is not a problem. Not having it will probably break > > > things, and we will probably notice six months from now. > > > > yes, I agree 100%. Besides ports, who knows what checks sysadmins may > > have in local scripts to identify the type of grep on a system and use > > the right flags? > > Would it make sense to remove the man page entry to reduce visual noise > for users?
And 4 weeks later receive a bug report which says the manual page is failing to document something handled by getopt? my advice: walk away from this one.