From 8f4dd9ff1ccceb8b305376fbbdfd1526dc9c22ab Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 3 Jan 2023 01:56:28 +0100
Subject: [PATCH] componentsConf is unused (and automatically generated)

Do not compile it (to get rid of Makefile)
---
 matita/components/extlib/dune | 1 +
 1 file changed, 1 insertion(+)

diff --git a/matita/components/extlib/dune b/matita/components/extlib/dune
index 83a3784e1..122907eb7 100644
--- a/matita/components/extlib/dune
+++ b/matita/components/extlib/dune
@@ -1,6 +1,7 @@
 (library
  (name helm_extlib)
  (libraries str unix camlp5.gramlib)
+ (modules (:standard \ componentsConf))
  (wrapped false))
 (env
   (_
-- 
2.39.2