From 8d95a64b58c1115ae8c609dcacd37cf60cc6d64b Mon Sep 17 00:00:00 2001
From: Oliver Schmidt <ol.sc@web.de>
Date: Thu, 27 Feb 2014 23:37:36 +0100
Subject: [PATCH] Added .info file generation.

---
 doc/Makefile | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index dcb2af8e0..189fa60ee 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,4 +1,4 @@
-.PHONY: all doc html gh-pages mostlyclean clean install
+.PHONY: all doc html info gh-pages mostlyclean clean install
 
 .SUFFIXES:
 
@@ -15,16 +15,18 @@ GH_PAGES = ../../gh-pages
 
 all:
 
-doc: html
+doc: html info
 
 html: $(addprefix ../html/,$(SGMLS:.sgml=.html) doc.css doc.png)
 
+info: $(addprefix ../info/,$(SGMLS:.sgml=.info))
+
 mostlyclean:
 
 clean:
-	$(RM) -r ../html
+	$(RM) -r ../html ../info
 
-../html:
+../html ../info:
 	@mkdir $@
 
 ../html/%.html: %.sgml header.html | ../html
@@ -33,6 +35,9 @@ clean:
 ../html/doc.%: doc.% | ../html
 	cp $< ../html
 
+../info/%.info: %.sgml | ../info
+	@cd ../info && linuxdoc -B info ../doc/$<
+
 gh-pages: html
 ifdef GH_TOKEN
 	git clone --branch=gh-pages https://$(GH_TOKEN)@github.com/oliverschmidt/cc65.git $(GH_PAGES)
-- 
2.39.5