Re: Missing image in web & docs

[Graham Percival]

On Thu, Oct 07, 2010 at 05:03:43PM +0200, Francisco Vila wrote:
> A fix could be to render it manually into a PNG, then add it to the
> repo. If this is the right solution, I could do it.

No, that's not the right solution.  My guess is that the generated
image isn't getting produced in the right directory.

IMO, there's three steps that could be failing:
1) texinfo can't find the .eps image.  IIRC the build stops if
this happens, but my memory could be faulty.
2) texinfo finds the .eps, converts it into the appropriate output
format, but puts it in the wrong directory.
3) our mirroring tool (the python thing that copies from
Documentation/out-www/ to out-www/ ) doesn't copy that filetype,
or copies it but puts it in the wrong directory.

Cheers,
- Graham