#!/bin/bash

for file in *.dv; do
    echo 
    echo ${file}:
    echo "  dv2iv ${file} ${file%%.dv}"
    dv2iv ${file} ${file%%.dv}
done

for file in *.dt; do
    echo 
    echo ${file}:
    echo "  dt2iv ${file} ${file%%.dt}"
    dt2iv ${file} ${file%%.dt}
done

for file in *.ddi; do
    echo 
    echo ${file}:
    echo "  ddi2iv ${file} ${file%%.ddi}"
    ddi2iv ${file} ${file%%.ddi}
done


