#!/bin/sh
sed -r '/\.#\./d' |
sed -r 's/<\/?Exc[^>]+>//' $@
