From 1628cd2d63b7a86fc422a96abf760f047a900b9d Mon Sep 17 00:00:00 2001
From: Robur <team@robur.coop>
Date: Tue, 29 Jun 2021 09:48:24 +0000
Subject: [PATCH] builder-web: debian packaging

---
 packages/builder-web.0.0.1~dev/opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/builder-web.0.0.1~dev/opam b/packages/builder-web.0.0.1~dev/opam
index cbc29f4..6609e70 100644
--- a/packages/builder-web.0.0.1~dev/opam
+++ b/packages/builder-web.0.0.1~dev/opam
@@ -11,6 +11,7 @@ build: [
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
   ["sh" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
+  ["sh" "packaging/debian/create_package.sh"] {os-family = "debian"}
 ]
 
 depends: [