\newcommand{\homedir}{/homes/users/cs/faculty/rig}
\newcommand{\teachdir}{\homedir/teaching}
\newcommand{\gatedir}{\teachdir/gates}
\newcommand{\homedirtwo}{/home2/rig}
\newcommand{\cvdir}{\homedir/cv}
