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