# The upstream source ball is downloaded from its GitHub repository
debian-watch-does-not-check-openpgp-signature

# lintian doesn't know that the sources of these files are
# locales/manual/*.po and info/wxmaxima.md, so it complains
# about missing sources
source-is-missing [info/*.html]
