From 3ab7ec9bc605c34dc6ad5994457106b20b72d7ff Mon Sep 17 00:00:00 2001
From: Charadon <dev@iotib.net>
Date: Sat, 8 Oct 2022 14:57:05 -0400
Subject: Makefile: If makeinfo fails, try gmakeinfo instead.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index a62173a..b79001b 100644
--- a/Makefile
+++ b/Makefile
@@ -25,7 +25,7 @@ html:
 	makeinfo --html manual.tex
 
 info:
-	makeinfo manual.tex
+	makeinfo manual.tex || gmakeinfo manual.tex
 
 uninstall:
 	rm -rf $(SCRIPT_DIR)/../..
-- 
cgit 1.4.1-2-gfad0