From fbe8748c02601d04d38fa076706b5909bcbd34ac Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= <reynir@reynir.dk>
Date: Tue, 18 May 2021 17:02:45 +0200
Subject: [PATCH] Fix --datadir

It was erroneously specified as ----datadir
---
 bin/builder_web_app.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/builder_web_app.ml b/bin/builder_web_app.ml
index 1433245..6b699c2 100644
--- a/bin/builder_web_app.ml
+++ b/bin/builder_web_app.ml
@@ -26,7 +26,7 @@ open Cmdliner
 
 let datadir =
   let doc = "data directory" in
-  Arg.(value & opt dir "/var/db/builder-web/" & info [ "-d"; "--datadir" ] ~doc)
+  Arg.(value & opt dir "/var/db/builder-web/" & info [ "d"; "datadir" ] ~doc)
 
 let port =
   let doc = "port" in