[elephant-devel] Documentation Build Problems and Questions

[Leslie P. Polzer]

> The first issue I ran into was that makeinfo was failing. I was able
> to resolve that by removing the following includes in the
> reference.texinfo file:

Got that, too. "Solved" by your instructions.

> Is anyone else able to build the documentation, without having to
> rename the .png files to .pdf files? I'm building on MacOSX (Tiger).
> Right now I don't have access to another system to try this on, but I
> am wondering if there is an issue with my pdfetex command not
> correctly parsing the @image.

Yeah, works for me with TeXLive.

  Leslie