Re: [patch] Share options between info and man page

Joel Brobecker
2014-07-07T15:31:48Z

> So I'm beginning to doubt that this is for the better.
>
> Thoughts?

I would follow your recommendation, here. If it's simpler to update
our procedures, and occasionally have to duplicate a bit our doco
work for the man page, I'd be OK with that.

--
Joel