On Thu, 17 Mar 2005 06:56:04 -0500 "D. Richard Hipp" <[EMAIL PROTECTED]> wrote:
> On Thu, 2005-03-17 at 12:39 +0100, Gerald Dachs wrote: > > Why do you not use my patch? Do you not agree that this is a bug? > > > > No I do not. The arch.png image is no longer used in the > documentation. It was replaced by arch2.gif some time ago. > > > 'make doc' on linux is still broken, attached patch for 3.1.3 still > > works. > > > > The makefile works fine when I run it without your patch. Sorry, noticed only now that bug was at least in 3.1.3, 3.1.4, but has gone in 3.1.5. Because I didn't get answers on my posts, I assumed wrongly that, if the patch applies, then the bug is still there. Sorry again, will be quiet in future. Gerald