#!/bin/bash CONVERTER=`pwd`/conv.pl for DIR in `find . -type d`; do pushd $DIR for FILE in `echo [0-9]*html`; do echo "Converting $FILE" $CONVERTER $FILE rm $FILE done popd done