#!/bin/bash

rm -f {doc,3k+1,example}/*.{aux,log,dvi,ps,pdf,bbl,ilg,ind,idx,out,html,tex,pnr,txt,blg,toc,six,brf,lab}

