From a0a24fc59e219a6acf5274a12d1cb2dc772d6873 Mon Sep 17 00:00:00 2001
From: David Allsopp <david.allsopp@metastack.com>
Date: Thu, 18 Jul 2019 15:32:54 +0100
Subject: [PATCH] Support crazy seds...

---
 Makefile    | 2 +-
 process.sed | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)
 create mode 100644 process.sed

diff --git a/Makefile b/Makefile
index 4b1e5b74270..d25f9e25034 100644
--- a/Makefile
+++ b/Makefile
@@ -132,7 +132,7 @@ libinstall: $(DUNE_DEP) opam-admin.top $(OPAMLIBS:%=installlib-%)
 	@
 
 processed-%.install: %.install
-	sed -e '/^\(doc\|lib\):/{:a;N;/]/!ba;};/^\(doc\|lib\):/d' $^ > $@
+	sed -f process.sed $^ > $@
 
 install: processed-opam.install processed-opam-installer.install
 	$(OPAMINSTALLER) $(OPAMINSTALLER_FLAGS) processed-opam.install
diff --git a/process.sed b/process.sed
new file mode 100644
index 00000000000..65cc0f31435
--- /dev/null
+++ b/process.sed
@@ -0,0 +1,6 @@
+/^[ld][io][bc]:/{
+:a
+N
+/]/!ba
+}
+/[ld][io][bc]:/d