#! /bin/bash

if [[ -d /home/staff/stolfi/man/i686-Linux-2.2/man1 ]]; then cd /home/staff/stolfi/man/i686-Linux-2.2/man1/. && rm -f  DUMMY.1; fi