Re: Problem generating documentation

[Neil Jerram]

address@hidden (Ludovic Courtès) writes:

> Hello,
>
> Xan Lopez <address@hidden> writes:

>> Ok, the problem is that I had a file named "guile-tools" in the
>> toplevel, which was a shell script and had nothing to do with
>> meta/guile-tools (no idea how it got there...), which is what I assume
>> you were talking about.

Cool, thanks for closing the loop on this.

> I just hit that too.  The stale $top_builddir/guile-tools typically
> comes from ‘branch_release-1-8’ or from a very old build of ‘master’.

But is it cleaned by make distclean?  I would guess so, since I
regularly switch between branches, using make distclean, and have never
seen this.

If make distclean does clean it, I don't think we need anything else -
unless someone wants to propose a patch to HACKING to cover this.

   Neil