diff --git a/debian/rules b/debian/rules index 10245dc..4034618 100755 --- a/debian/rules +++ b/debian/rules @@ -16,3 +16,9 @@ dh_clean rm -rf doc/html/ rm -f doc/Makefile + +licensecheck: + licensecheck --deb-machine -r * \ + > debian/copyright_newhints + cmp debian/copyright_hints debian/copyright_newhints \ + && rm debian/copyright_newhints