#!/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