Add a "regenerate" target

diff --git a/debian/rules b/debian/rules
index f7328761be6e1f10ab2a367e47597b014f6146cf..539656208e30db86f27d50275ea0cba2037b612d 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -254,3 +254,9 @@ endif
          echo "Please adjust OCAML_ABI in debian/rules"; \
          exit 2; \
        fi
+
+.PHONY: regenerate
+regenerate: debian/control
+       git ls-tree --name-only -r HEAD debian \
+         | grep -v '^debian/\(patches/\|source/local-\)' \
+       > debian/MANIFEST