This directory contains files to build .deb packages for Debian-based
systems (we have tested it on current Ubuntu LTS versions, but it may work on
other Debian or Ubuntu-based Linux variants).

To use, see the make-package.sh script.
