>> make docs failed with the following output (also included as attachment >> for completeness): >> ... >> makeinfo --no-split org.texi -o org.info >> org.texi:16204: warning: @anchor should not appear on @item line >> org.texi:16217: warning: @anchor should not appear on @item line >> ... > > makeinfo does not report errors, so you are probably experiencing a bug > in texinfo itself. Try to upgrade it. > > Also, these warnings are probably coming from a specific version of > texinfo - they have been removed in the latest version after my report.
I'm using texinfo 7.1 now, the pdf build is still failing when I try "make docs", with the same errors. Not sure what to do now. Karthik
