Re: Problem generating documentation

[Andy Wingo]

On Wed 28 Oct 2009 22:03, Neil Jerram <address@hidden> writes:

> address@hidden (Ludovic Courtès) writes:
>
>> Andy Wingo <address@hidden> writes:
>>
>>> I think the deal was that it used to be generated, and in the root. But
>>> I changed it to be not generated, and in the meta/. But this error was
>>> coming from Scheme; perhaps there was a issue with load path issue
>>> whereby guile-tools was loaded from a path and not absolutely?
>>
>> Yes, I think so.  It’s run as “./meta/uninstalled-env guile-tools” and
>> somehow it seems that $top_builddir ended up before $top_builddir/meta
>> in $PATH (don’t ask me why :-)).
>
> Hmm, it still seems to me that the old generated one should have been
> deleted by `make distclean', and hence with an invocation of `make
> distclean' (before `git pull' or `git checkout some-other-branch') this
> wouldn't have happened.

Well the one in the $top_builddir wouldn't have been deleted, as it was
moved to $top_builddir/meta.

A
-- 
http://wingolog.org/