third_party/subzero/docs/py_filter

#!/bin/bash
x=`which doxypypy`
if [ "$x" == "" ]; then
  cat $1
else
  doxypypy -a -c $1
fi