Bibliografia per la nuova roba di build.

[gapil.git] / build.tex

diff --git a/build.tex b/build.tex
index 8f2bfbb73fe70ecc307f412847ffdbc05c3ced4b..51b8debaaa741165dd08ba72dced299c3a910b9e 100644 (file)
--- 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}}