よく拡張子が texi のマニュアルがついてきて、これを info 形式に
変換してるんですが、texi って tex なんでつか？