# src/tex contains custom headers and footers for doxygen, not prebuilt
wcc source: source-contains-prebuilt-doxygen-documentation [src/tex/*]
# d/p/portability.patch adds a header file with some hex and constants, not
# prebuilt binaries
wcc source: source-contains-prebuilt-binary [debian/patches/portability.patch]
wcc source: source-is-missing [debian/patches/portability.patch]
