From e8f16136a7d0b961b9d438221533f50ce1584f92 Mon Sep 17 00:00:00 2001
From: pancake <pancake@nopcode.org>
Date: Wed, 10 Jul 2024 12:28:19 +0200
Subject: [PATCH] Workaround md2gmi glitch

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index 32d7cf13..bf8a2dc1 100644
--- a/Makefile
+++ b/Makefile
@@ -54,5 +54,7 @@ gmi:
 		$(MD2GMI) -i $$a -o $$b; \
 		sed -e 's,\.md,\.gmi,' -i $$b; \
 	done
+	grep -v 134 < gmi/SUMMARY.gmi | grep -v '^-' > .a.a
+	mv .a.a gmi/SUMMARY.gmi
 	ln -v gmi/SUMMARY.gmi gmi/index.gmi
 	tar -czf r2book-gmi.tar.gz -C gmi .