build-with-3.2
install-info-files
