Re: Problem generating documentation

[Neil Jerram]

address@hidden (Ludovic Courtès) writes:

> Hi,
>
> 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.

       Neil