Make debian/copyright machine-readable