On Mon, Jan 05, 2009 at 11:32:59AM +0100, paracetamolo wrote: > when compiling to html, makeinfo check the presence of each image before > inserting the <img> tag, unfortunately my images where in another directory.
In this case, makeinfo should have reported an error (and failed unless you've specified --force). > Is that check necessary? Looks like it is. For one thing, unless extension is supplied to the @image command, we wouldn't know the correct filename (makeinfo checks for .png, .jpg and .gif). For another, @image will search all include paths (the -I argument of makeinfo) for the file, so if the file doesn't exist at any of the paths, we don't know which one to use. So the only situation when we can reliably refer to a non-existent file is when @image specifies extension and no -I argument is given to makeinfo. I'm not sure of your use for this -- does this still sound useful? Oleg
