From d2e4026d9de80ab6f23dd126810f96fb06a9cbbe Mon Sep 17 00:00:00 2001
From: Case Duckworth <acdw@acdw.net>
Date: Mon, 31 Jan 2022 23:52:14 -0600
Subject: Make info files as well

---
 doc/makefile | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

(limited to 'doc')

diff --git a/doc/makefile b/doc/makefile
index a192e00..6f48746 100644
--- a/doc/makefile
+++ b/doc/makefile
@@ -14,18 +14,24 @@ port ?= 8082
 
 clean:
 	rm -f $(output_dir)/*.html
+	rm -f *.info
 
 web:
 	rm -f $(output_dir)/*.html
 	texi2html --output=$(output_dir) \
-                  --split=chapter \
-                  --noheader \
-                  --nonumber-section \
-                  --init-file=$(top_srcdir)/doc/site.conf \
-                  --top-file=index.html \
-                  $(top_srcdir)/doc/web.texi
+				  --split=chapter \
+				  --noheader \
+				  --nonumber-section \
+				  --init-file=$(top_srcdir)/doc/site.conf \
+				  --top-file=index.html \
+				  $(top_srcdir)/doc/web.texi
 	cp $(top_srcdir)/doc/geiser.css ${output_dir}
 	cp -r $(top_srcdir)/doc/img ${output_dir}
 
 http: web
 	cd $(output_dir) && python -m http.server $(port)
+
+info: geiser.info dir
+
+%.info: %.texi
+	makeinfo --no-split $< -o $@
-- 
cgit v1.2.3