apply patch code provided by Giulio Paci.
Apply patch code provided by Giulio Paci except that 'no-installinfo' and 'no-installman' are removed. This is because these options are disallowed by GNU standards.
Apply patch code provided by Giulio Paci.