###--------------------------------------------------------------------------
### Other finishing touches.
###--------------------------------------------------------------------------
### Other finishing touches.
EXTRA_DIST += debian/copyright
EXTRA_DIST += debian/control
EXTRA_DIST += debian/changelog
EXTRA_DIST += debian/copyright
EXTRA_DIST += debian/control
EXTRA_DIST += debian/changelog