+
+$(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