zip -q9 files.zip "Casati.html" "Casati.pdf" "Casati.zip" rm -f "Casati.html" "Casati.pdf" "Casati.zip"