texi2html 1.70 が入っていたのだけどうまくいかなかった(1時間経っても終わらなかった)ので texi2html 1.82 をインストール．ソースのdoc下で make htmls で40秒程でできた．make html とするとひとまとめになったhtmlが出来上がる．texi2htmlの--splitオプ…