# This file is deleted in override_dh_auto_configure and then
# regenerated during build, so this is a false positive.
allegro5 source: source-is-missing docs/html/refman/search_index.js
