--- a/src/dune	2023-11-23 16:07:10.195742159 +0100
+++ b/src/dune	2023-11-23 16:07:22.055805922 +0100
@@ -1,13 +1,3 @@
-(rule
-  (target iflags.sexp)
-  (action (run ./discover.sh include))
-)
-
-(rule
-  (target lflags.sexp)
-  (action (run ./discover.sh lib))
-)
-
 (library
   (name readline)
   (public_name readline)