#!/bin/sh

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

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