MySQLそのものの話、ではなくて恐縮なのですが…

  日本語のオンラインマニュアルと綺麗な印刷マニュアルを作っ
て幸せになりたいと思い、先日、SoftAgencyさんのサイトから、
texinfo 形式の日本語マニュアルをダウンロードさせていただき
ました。MySQL-3.22.21のmanual.ja.texi.gzです。

# 私は、3.22.30を使っているのですが、 3.22の純粋マニュアル
# は3.22.21のもの、と書かれていたのでこれを選びました。

  早速unzipして、makeinfoしたのですが、 `include.texi'なる
ファイルが無い、というエラーで止まってしまいました。
一応、試しにXEmacsでtexinfo-format-bufferしたり、texでコン
パイルしたりなどしてみましたが結果は予想通り同じでした。

  `include.texi'というのは、一体どのようなファイルなのでしょ
うか？ 私には、これがtexinfoに含まれているべきものなのか、
MySQL の日本語マニュアルに含まれているはずのものなのかどう
かすら見当がつきません。

  もしご存知の方がいらっしゃいましたら御教示願えませんでしょ
うか。
---
Tomoya Inoue <tomoya@xxxxxxxxxx>