1#!/bin/sh
2
3for file
4do
5    echo ==== $file ====
6    deroff $file | double
7done
8