From 8d95a64b58c1115ae8c609dcacd37cf60cc6d64b Mon Sep 17 00:00:00 2001 From: Oliver Schmidt 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.2