08/10/26 14:29:02 gqtmi0Tl
>>156
多分、gccの./configureスクリプトのバグ（modern makeinfoの定義によるけど）。
$ makeinfo --version
で、結果のバージョンが、例えば4.10から4.19なら、
gcc.info,cpp.infoなどは、作成もインストールもされないみたい。
08/10/26 14:29:02 gqtmi0Tl
>>156
多分、gccの./configureスクリプトのバグ（modern makeinfoの定義によるけど）。
$ makeinfo --version
で、結果のバージョンが、例えば4.10から4.19なら、
gcc.info,cpp.infoなどは、作成もインストールもされないみたい。