Only one newline after @item in summary.texi.