Hi Stefan, Stefan Husmann <stefan-husm...@t-online.de> writes:
> I think both entries in org.texi intrudueced in the mentioned commit should > begin with, say, @cindex rather than @index. > @index is not a texinfo command. > > org.texi:9892: unknown command `index' > org.texi:13806: unknown command `index' Yes, this has been fixed, thanks, -- Bastien
