% ./configure --disable-install-doc

でいいようだ。これでビルド時間が大幅に短縮できる