[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: My "make doc" is broken

From: Frédéric Bron
Subject: Re: My "make doc" is broken
Date: Sat, 14 Nov 2009 22:55:07 +0100

> I hope that you did a "make clean; make" first.  There was a
> commit recently that did something about strings and markups, so
> perhaps that's the problem.

I did make dist-clean and rerun
I have redone it again and the doc is now compiling since 1 hour so I
assume it is working! Do not understand what happens.
Will see tomorrow morning if anything good happened.

> Note that if you're using the EXTERNAL_BINARY trick, then git head
> will no longer work for you.  And if you _are_ using that trick,
> please mention it in the report.

Do not know that trick. I cloned the entire git repository.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]