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

# The dictionary lacks some technical words
addFilter(r'W: spelling-error .* (arithmetics|equational|instantiation|parameterized|prover)')

# Caused by ocaml; this package cannot fix it
addFilter(r'alt-ergo(-gui)?\.[^:]+: E: missing-call-to-chdir-with-chroot')

# Documentation is in the main package
addFilter(r'alt-ergo-gui\.[^:]+: W: no-documentation')

# There is no man page for the graphical launcher
addFilter(r'alt-ergo-gui\.[^:]+: W: no-manual-page-for-binary altgr-ergo')