# The name of this file does not mention the aliversion.
# Instead we use that -dev is the first package in debian/control.
Docs/*
