A doxygen filter for bash scripts