On 07/11/11 13:01, Joachim Schmitz wrote: > I didn't modify anything in the doc directory, only the configure script and > several files files in lib and src.
That would explain it. If you modify source files, then version.texi needs to change, and then the documentation needs to be rebuilt.
