gccint.texiをHTMLで読もうと思って、gccのソースディレクトリ(以下では GCC )から、
　$ makeinfo -Igcc/doc -Igcc/doc/include --html -ogcc/doc/HTML/internal gcc/doc/gccint.texi
としてみました。
でも以下のようなメッセージが表示されて、index.htmlが生成されません。
　GCC/gcc/doc/HTML/internal/index.html: TOC should be here, but it was not found
　GCC/gcc/doc/HTML/internal/index.html: TOC should be here, but it was not found
　makeinfo: Removing output file `GCC/gcc/doc/HTML/internal/index.html' due to errors; use --force to preserve.

texiのことは良く分からないですが、テキストエディタでgccint.texiのなかを覗いてみたところ、
メニューっぽいものは書いてあるようです。
index.htmlをきちんと（--force使わずに）生成するには、どうしたらいいんでしょうか？