3 # Enumerates public interface headers, so that public-only documentation
9 echo -n "\"$srcdir/src/include/cvc4.h\" "
10 echo -n "\"$srcdir/src/include/cvc4_public.h\" "
11 ( (find "$builddir" -name '*.h' |
xargs grep -l '^# *include *"cvc4.*_public\.h"'); \
12 (find "$srcdir" -name '*.h' |
xargs grep -l '^# *include *"cvc4.*_public\.h"'); \
15 if expr "$f" : ".*_\(template\|private\|test_utils\)\.h$" &>/dev
/null
; then