#!/bin/sh
export PATH="$PATH:`dirname $0`/filters"
cat $@ |\
	to_single_line |\
	remove_slash_star_comments |\
	remove_tabs |\
	remove_whitespace |\
	trim_whitespace