Hi Arash,
2016-07-20 16:06 GMT+02:00 Arash Esbati <esb...@gmx.de>:
> Arash Esbati <esb...@gmx.de> writes:
>
>> Mosč Giordano <m...@gnu.org> writes:
>>
>>> Please, add documentation and mention the new feature in the news
>>> section as well.
>>
>> I will update the manual as well (have to find a section where it
>> fits).
>
> It went more verbose than I thought, but I hope nobody minds if I add
> the text attached to the manual, at the end of section 4.1.2 Selecting
> and Executing a Command.
No problem, don't worry.
> One other thing occured to me: the titles in the indices are misplaced
> (see attachement). I tried with \texinfoversion{2016-06-18.21} and
> \texinfoversion{2016-07-16.19}. Can somebody reproduce this?
Yes, I can reproduce the problem with TeX Live 2016 (with
2016-06-18.21 version), but not with TeX Live 2015 (version of
texinfo.tex: 2016-03-22.15).
Bye,
Mosé
_______________________________________________
auctex-devel mailing list
auctex-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/auctex-devel
