@image vs. gif

[Akim Demaille]

I have not changed anything in my environment (well, I don't think so
:), but I have a weird behavior from makeinfo --html:

LC_ALL=C makeinfo --enable-encoding --number-sections --fill-column=76 --html 
-I .. --no-split ../assignments.texi
../assignments.texi:7008: @image file `assignments.img/appel-c.gif' (for HTML) 
not readable: No such file or directory.
../assignments.texi:7017: @image file `assignments.img/appel-java-1.gif' (for 
HTML) not readable: No such file or directory.

etc. etc.

But the lines are:

@image{assignments.img/appel-c, 4cm}
@image{assignments.img/appel-java-1, 4cm}

etc.

According to the documentation:

  If you do not supply the optional EXTENSION (fifth) argument,
`makeinfo' first tries `FILENAME.png'; if that does not exist, it tries
`FILENAME.jpg'.  If that does not exist either, it complains.  (We
cannot support GIF format directly due to software patents.)

and indeed, I do have:

tc-assignments/trunk/_build % ls ../assignments.img              nostromo 12:33
appel-c.jpg
appel-java-1.jpg
appel-java-2.jpg
appel-ml.jpg
bjarne.jpg
compilers-principles-techniques-and-tools.jpg
c++-primer.jpg
design-patterns.jpg
effective-c++.jpg
effective-stl.jpg
lex-and-yacc.jpg
modern-c++-design.jpg
the-design-and-evolution-of-c++.jpg
the-elements-of-style.jpg


So:

1. it doesn't seem to find the files,
2. it complains about GIF!


(Maybe before the missing pictures were a warning I never noticed: the
HTML is correct once the pictures installed:

http://www.lrde.epita.fr/~akim/compil/assignments.html#Modern-Compiler-Implementation

)