Altre piccole modifiche

diff --git a/html/download.html b/html/download.html
index 544327e747a83475083d7a200623082be879f6bb..ddac2a2b68da5cb6180928af01584930805de595 100644 (file)
--- a/html/download.html
+++ b/html/download.html
@@ -118,7 +118,9 @@
 
            <p>
              Per chi come me preferisce la carta allo schermo, ho
 
            <p>
              Per chi come me preferisce la carta allo schermo, ho

-             provveduto a mettere in linea delle versioni stampabili; esse
+             provveduto a mettere in linea delle versioni stampabili
+             rigenerate a-periodicamente (si suggerisce la versione PDF, in
+             genere più aggiornata). Esse

              sono liberamente scaricabili dagli indirizzi seguenti, insieme
              all'archivio compresso di tutti i sorgenti:
            </p>
              sono liberamente scaricabili dagli indirizzi seguenti, insieme
              all'archivio compresso di tutti i sorgenti:
            </p>