At 2017-11-08T16:16:55+0100, Ingo Schwarze wrote: > Even if you want to keep stripping mdoc for some reason, you should > probably just stop stripping the doc- prefix. I don't think setting > up dedicated machinery just for mdoc is worth the complexity.
I support this. It's the only substitution that isn't obviously motivated by the stated purpose of the script. Also, if Werner wants I can smuggle in deletion of the remaining sed comment. ;-) -- Regards, Branden
signature.asc
Description: PGP signature
