Re: Problem generating documentation

[Ludovic Courtès]

Hi,

Neil Jerram <address@hidden> writes:

> address@hidden (Ludovic Courtès) writes:

[...]

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

You're probably right, but I had skipped that step.

Ludo’.