On Wed 07 Mar 2018 at 14:19, Arash Esbati <ar...@gnu.org> wrote: >> ./autogen.sh >> ./configure --prefix=$HOME >> make > > Hi Alex, > > I do basically the same thing, but issue a `make extraclean' before > `./autogen.sh'. Do you want to give it a roll?
Thanks for the reply. This seems to have solved the issue, at least for now. It's been an on-again, off-again issue though, so I'll try this out for a while and see if I have any other issues. If this is the recommended workflow, perhaps it merits a note in README.git? _______________________________________________ auctex-devel mailing list auctex-devel@gnu.org https://lists.gnu.org/mailman/listinfo/auctex-devel
