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

Eli Zaretskii
2014-06-24T15:56:28Z

> From: Mingjie Xing <mingjie.xing@gmail.com>
> Date: Tue, 24 Jun 2014 15:08:29 +0800
> Cc: Eli Zaretskii <eliz@gnu.org>, gdb-patches@sourceware.org
>
> 2014-06-23 21:45 GMT+08:00 Pedro Alves <palves@redhat.com>:
> >
> > Should we re-define it as a macro under ifset man ?
> >
> > @ifset man
> > @macro t{text}
> > \text\
> > @end macro
> > @end ifset
> >
> > (I don't actually know whether possible.)
>
> This does not work.

What exactly doesn't work, and how?