#!/bin/sh
gawk -b -f doxygen-filter-ipf.awk "$1"