documentazione make V:151, I:555 1592 ”info make” fornito da make-doc autoconf V:31, I:230 2025 ”info autoconf” fornito da autoconf-doc automake V:30, I:228 1837 ”info automake” fornito da automake1.10-doc ricorsiva pippo3 += pluto accoda Tabella 12.18: Elenco di espansioni delle variabili di make • Autoconf è uno strumento per produrre uno script di shell chiamato ”configure” da ”configure.ac”. – ”configure” the system 12.6.2.2 Disinstallare un programma Se si hanno i sorgenti originali e questi usano autoconf(1)/automake(1), e se ci si ricorda la configurazione usata, eseguire quanto segue per disinstallare