#!/bin/sh PID="4" 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/datasets/*.m $dname/src/*.m