Workaround md2gmi glitch

radareorg · Jul 10, 2024 · e8f1613 · e8f1613
1 parent 988499b
commit e8f1613
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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 .