# False positive because the sources are not trivial.
# The HTML documentation is refreshed during the build.
source-is-missing [doc/ada/terminal_interface-curses*.htm]
