X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=build.tex;fp=build.tex;h=51b8debaaa741165dd08ba72dced299c3a910b9e;hp=8f2bfbb73fe70ecc307f412847ffdbc05c3ced4b;hb=fa8f6170f9e769b98378040e6e847e5a5db3b836;hpb=8a2d9bf52b522a71f94016ba6855ac0413403bed

diff --git a/build.tex b/build.tex
index 8f2bfbb..51b8deb 100644
--- a/build.tex
+++ b/build.tex
@@ -21,11 +21,17 @@ Questo materiale 
 obsoleto.
 
 
-\section{L'uso di \texttt{make} per la compilazione}
+\section{L'uso di \texttt{make} per l'automazione della compilazione}
+
+Il comando \texttt{make} serve per automatizzare il processo di costruzione di
+un programma ed effettuare una compilazione intelligente di tutti i file
+relativi ad un progetto software, ricompilando solo i file necessari ed
+eseguendo automaticamente tutte le operazioni che possono essere necessarie
+alla produzione del risultato finale.\footnote{in realtà \texttt{make} non si
+  applica solo ai programmi, ma in generale alla automazione di processi di
+  costruzione, ad esempio anche la creazione dei file di questa guida viene
+  fatta con \texttt{make}.}
 
-Il comando \texttt{make} serve per effettuare una compilazione intelligente di
-tutti i file relativi a un programma (corpo principale, funzioni ausiliarie,
-librerie collegate, ecc.)  ricompilando solo i file necessari.
 
 \subsection {Introduzione a \texttt{make}}