[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Problem generating documentation
From: |
Ludovic Courtès |
Subject: |
Re: Problem generating documentation |
Date: |
Wed, 28 Oct 2009 23:22:26 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux) |
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’.
- Problem generating documentation, Xan Lopez, 2009/10/23
- Re: Problem generating documentation, Neil Jerram, 2009/10/24
- Re: Problem generating documentation, Xan Lopez, 2009/10/26
- Re: Problem generating documentation, Ludovic Courtès, 2009/10/26
- Re: Problem generating documentation, Neil Jerram, 2009/10/27
- Re: Problem generating documentation, Andy Wingo, 2009/10/27
- Re: Problem generating documentation, Ludovic Courtès, 2009/10/28
- Re: Problem generating documentation, Neil Jerram, 2009/10/28
- Re: Problem generating documentation,
Ludovic Courtès <=
- Re: Problem generating documentation, Andy Wingo, 2009/10/29