#!/bin/bash
rm debian-tutorial.{aux,dvi,i*,lo*,ps,toc}