GNUs ./configure --infodir syntax support2