# THIS FILE IS FOR WHITELISTING RPMLINT ERRORS AND WARNINGS IN TASKOTRON
# https://fedoraproject.org/wiki/Taskotron/Tasks/dist.rpmlint#Whitelisting_errors

# The dictionary is missing some technical terms
addFilter(r'W: spelling-error .* homotopy')

# OCaml does this to us.  We have no control over it.
addFilter(r'coq(-coqide)?\.[^:]+: E: missing-call-to-chdir-with-chroot')

# The coq package is, effectively, a devel package
addFilter(r'coq\.[^:]+: W: devel-file-in-non-devel-package')

# These directories are necessary
addFilter(r'coq\.[^:]+: W: hidden-file-or-dir .*\.(coq-native|pack)')

# These files may be empty on some platforms but are still needed
addFilter(r'coq\.[^:]+: E: zero-length .*(Ltac\.v|revision|vos)')

# These helper binaries do not have man pages
addFilter(r'coq\.[^:]+: W: no-manual-page-for-binary coq(idetop|pp|.*worker|workmgr)')
addFilter(r'coq\.[^:]+: W: no-manual-page-for-binary (doc_grammar|votour)')

# This file is purposefully not UTF-8
addFilter(r'coq-doc\.noarch: W: file-not-utf8 .*LatinRules\.xdy')

# The configure script is NOT generated by autoconf
addFilter(r'coq\.spec:[^:]+: W: configure-without-libdir-spec')