[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [XBoard-devel] Fwd: 4.9.0 what's new
From: |
Arun Persaud |
Subject: |
Re: [XBoard-devel] Fwd: 4.9.0 what's new |
Date: |
Sat, 2 Apr 2016 14:40:31 -0700 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.7.0 |
Hi
On 04/02/2016 12:50 PM, H.G. Muller wrote:
> Op 4/2/2016 om 8:48 PM schreef Arun Persaud:
>> Hi
>>
>> should I push another dev-release out this weekend?
>
> I would like you to do that. But obviously we will have to solve the
> problem in the texi file first.
>
> The problem is that I have no idea how to do that. @subsection in the
> texi file did not work
> for me. That is, it would display a title in the info file, but would be
> completely ignored
> in the man file (breaking that help click). So we only have @section and
> @item.
>
> Perhaps I should make the menu dialogs all independent @sections, and
> preceed them
> by a @section header of an otherwise empty section with the name of the
> main menu.
> Then the controls in the dialog can be @items in a @table.
unfortunately, I don't know anything about texinfo files... perhaps
someone else on the list knows about it? Otherwise, there might be a
texinfo user group?
Arun
[XBoard-devel] Fwd: 4.9.0 what's new, Joshua Pettus, 2016/04/02
- Re: [XBoard-devel] Fwd: 4.9.0 what's new, H.G. Muller, 2016/04/02
- Re: [XBoard-devel] Fwd: 4.9.0 what's new, Arun Persaud, 2016/04/02
- Re: [XBoard-devel] Fwd: 4.9.0 what's new, H.G. Muller, 2016/04/02
- Re: [XBoard-devel] Fwd: 4.9.0 what's new,
Arun Persaud <=
- Re: [XBoard-devel] Fwd: 4.9.0 what's new, H.G. Muller, 2016/04/03
- Re: [XBoard-devel] Fwd: 4.9.0 what's new, Arun Persaud, 2016/04/03
- Re: [XBoard-devel] Fwd: 4.9.0 what's new, H.G. Muller, 2016/04/03
Message not availableMessage not availableMessage not availableMessage not availableRe: [XBoard-devel] Fwd: 4.9.0 what's new, Joshua Pettus, 2016/04/03
Re: [XBoard-devel] Fwd: 4.9.0 what's new, H.G. Muller, 2016/04/03
Re: [XBoard-devel] Fwd: 4.9.0 what's new, Joshua Pettus, 2016/04/03
Re: [XBoard-devel] Fwd: 4.9.0 what's new, H.G. Muller, 2016/04/03
Re: [XBoard-devel] Fwd: 4.9.0 what's new, Arun Persaud, 2016/04/03