Update: ho creato uno script lanciato da cron ogni ora che estrae l'ultima versione del sito dal cvs e la pubblica (solo su gseserver, ovviamente). Se qualcuno ha idea di come fare l'update solo quando qualcuno modifica i file in cvs, mi faccia un fischio.