1--- a/src/dune 2023-11-23 16:07:10.195742159 +0100
2+++ b/src/dune 2023-11-23 16:07:22.055805922 +0100
3@@ -1,13 +1,3 @@
4-(rule
5- (target iflags.sexp)
6- (action (run ./discover.sh include))
7-)
8-
9-(rule
10- (target lflags.sexp)
11- (action (run ./discover.sh lib))
12-)
13-
14 (library
15 (name readline)
16 (public_name readline)