+ debian/rules.modules \
+ debian/ifupdown.sh \
+ debian/source/format
+
+check-debian-changelog-version:
+ @DEB_VERSION=`echo '$(VERSION)' | sed 's/pre/~pre/'`; \
+ if $(FGREP) '($(DEB_VERSION)' $(srcdir)/debian/changelog >/dev/null; \
+ then \
+ :; \
+ else \
+ echo "Update debian/changelog to mention version $(VERSION)"; \
+ exit 1; \
+ fi
+ALL_LOCAL += check-debian-changelog-version
+DIST_HOOKS += check-debian-changelog-version
+
+$(srcdir)/debian/copyright: AUTHORS debian/copyright.in
+ { sed -n -e '/%AUTHORS%/q' -e p < $(srcdir)/debian/copyright.in; \
+ sed '1,/^$$/d' $(srcdir)/AUTHORS | \
+ sed -n -e '/^$$/q' -e 's/^/ /p'; \
+ sed -e '1,/%AUTHORS%/d' $(srcdir)/debian/copyright.in; \
+ } > $@
+
+DISTCLEANFILES += debian/copyright