#!/bin/bash
rm -f *.{nav,log,aux,out,snm,toc,vrb}
