#! /usr/bin/dh-exec
README.txt => /usr/share/doc/minizinc/README
CHANGES.txt => /usr/share/doc/minizinc/changelog
