#!/bin/sh

PID="6"
dname="Project_${PID}_Maggioni_Claudio"
zname="project_${PID}_Maggioni_Claudio"

rm -v $zname.zip
zip $zname.zip *.tex *.sty usi_inf.pdf $zname.{pdf,tex} $dname/*.m