Makefile.bat
Modifiche al nome della variabile DOC;
Modifiche varie.