From 153c7b6ea885a67df50e320c5857e97550a1b48c Mon Sep 17 00:00:00 2001
From: Alasdair <alasdair.armstrong@cl.cam.ac.uk>
Date: Wed, 8 Jan 2025 20:20:14 +0000
Subject: [PATCH] Make sure version number gets updated without having to run
 dune clean

Adds (deps (universe)) to the action that builds manifest.ml so it is
always rebuilt (unless it was generated from manifest.ml.in by opam, as
the action still has fallback mode).

Fixes #204, and based on PR #863
---
 src/bin/dune | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/bin/dune b/src/bin/dune
index 7755682b5..9a00105c0 100644
--- a/src/bin/dune
+++ b/src/bin/dune
@@ -1,4 +1,5 @@
 (rule
+ (deps (universe))
  (target manifest.ml)
  (mode fallback)
  (action