* doc/install.texi (Options specification): Document --with-specs.