Hi Mosè, Mosè Giordano <[email protected]> writes:
> 2016-07-20 16:06 GMT+02:00 Arash Esbati <[email protected]>: >> Arash Esbati <[email protected]> writes: >> >>> Mosè Giordano <[email protected]> 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. Thanks, I will push it to git. >> 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). Thanks for checking. I will see if I manage to drop a line to Texinfo people. Best, Arash _______________________________________________ auctex-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/auctex-devel
