94253fd
# THIS FILE IS FOR WHITELISTING RPMLINT ERRORS AND WARNINGS IN TASKOTRON
94253fd
# https://fedoraproject.org/wiki/Taskotron/Tasks/dist.rpmlint#Whitelisting_errors
94253fd
8ec920a
# The dictionary is missing some technical terms
8ec920a
addFilter(r'W: spelling-error .* homotopy')
8ec920a
94253fd
# OCaml does this to us.  We have no control over it.
94253fd
addFilter(r'coq(-coqide)?\.[^:]+: E: missing-call-to-chdir-with-chroot')
94253fd
94253fd
# The coq package is, effectively, a devel package
94253fd
addFilter(r'coq\.[^:]+: W: devel-file-in-non-devel-package')
94253fd
94253fd
# These directories are necessary
8ec920a
addFilter(r'coq\.[^:]+: W: hidden-file-or-dir .*\.(coq-native|pack)')
94253fd
8ec920a
# These files may be empty on some platforms but are still needed
8ec920a
addFilter(r'coq\.[^:]+: E: zero-length .*(Ltac\.v|revision|vos)')
94253fd
94253fd
# These helper binaries do not have man pages
94253fd
addFilter(r'coq\.[^:]+: W: no-manual-page-for-binary coq(idetop|pp|.*worker|workmgr)')
8ec920a
addFilter(r'coq\.[^:]+: W: no-manual-page-for-binary (doc_grammar|votour)')
94253fd
94253fd
# This file is purposefully not UTF-8
94253fd
addFilter(r'coq-doc\.noarch: W: file-not-utf8 .*LatinRules\.xdy')
94253fd
94253fd
# The configure script is NOT generated by autoconf
94253fd
addFilter(r'coq\.spec:[^:]+: W: configure-without-libdir-spec')