X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2FMakefile;h=d6bc28b3b8a46e29c17d90d65dff7c5952368e99;hb=24247dc8307fec822a07b6f9efa12656e961e417;hp=98b03fc020b6032599471b24ff9590362e973109;hpb=1c0f534eafd7d910708a8154a1208e25da28f1f2;p=YACASL2.git diff --git a/doc/Makefile b/doc/Makefile index 98b03fc..d6bc28b 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -8,7 +8,10 @@ DVI2PDF = $(TEXBIN)/dvipdfmx TEXOBJDIR = texobj .PHONY: all htmlnosplit pdf clean -all: htmlnosplit html pdf +all: info htmlnosplit html pdf +info: $(DOCNAME).info +$(DOCNAME).info: $(SRC) + @makeinfo -o $@ $^ htmlnosplit: $(DOCNAME).html $(DOCNAME).html: $(SRC) $(CSS) @makeinfo -o $@ --no-split --no-headers --html --css-include=$(CSS) $(SRC) @@ -25,4 +28,4 @@ $(DOCNAME).dvi: $(SRC) TEX=ptex texi2dvi --texinfo=@afourpaper -o ../$@ ../$^; \ cd - clean: - @rm -rf html $(TEXOBJDIR) $(DOCNAME).html $(DOCNAME).dvi $(DOCNAME).pdf + @rm -rf html $(TEXOBJDIR) $(DOCNAME).info $(DOCNAME).html $(DOCNAME).dvi $(DOCNAME).pdf