This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [patch] Share options between info and man page
- From: Joel Brobecker <brobecker at adacore dot com>
- To: Eli Zaretskii <eliz at gnu dot org>
- Cc: mingjie dot xing at gmail dot com, palves at redhat dot com, gdb-patches at sourceware dot org
- Date: Mon, 7 Jul 2014 08:31:44 -0700
- Subject: Re: [patch] Share options between info and man page
- Authentication-results: sourceware.org; auth=none
- References: <53983FFA dot 6020909 at redhat dot com> <CADNgcEwURN4xMTdMxqhb_poZ=mttgD5FmDNBeezumQgsagaUMw at mail dot gmail dot com> <53A82F8B dot 7080507 at redhat dot com> <CADNgcEz08cCEFTYUNN5gm7AxMGbmmZJMjy2pEYmHbVQO7vHePg at mail dot gmail dot com> <83wqc6qp2r dot fsf at gnu dot org> <CADNgcEwpYHJQSyBtYcwu+P_GuWsNXLhyQiC5b75bZm77ZogOnw at mail dot gmail dot com> <CADNgcEzJeWQh-rt57hVsyZnq7qVfR2dJCV9X5tu4jDyu=mNFyw at mail dot gmail dot com> <CADNgcExxHuj=aapNZAV7EGn7tyms8PnENwu8CS2NC_0nEpx=4A at mail dot gmail dot com> <20140707141843 dot GA6038 at adacore dot com> <83y4w5chra dot fsf at gnu dot org>
> 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