On 31 July 2016 at 11:12, Arash Esbati <[email protected]> wrote: > > Thanks for your response. I think the easiest way would be if you clone > the AUCTeX repository and do > > git clone git://git.savannah.gnu.org/auctex.git > cd auctex > ./autogen.sh > cd doc > pdftex auctex.texi > > If not feasible, let me know and I will send you the files off-list.
I have acquired the files. I have made some changes to texinfo.tex that should fix the problem and committed them to the source-control repository.
