Added .info file generation.

diff --git a/doc/Makefile b/doc/Makefile
index dcb2af8e04547f94f214879f65adb6d62bbbba1e..189fa60ee8b54fc14d9d4c8c33b5bba1789e4564 100644 (file)
--- 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)