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

Reply via email to