From: j8takagi Date: Fri, 2 Nov 2012 01:22:37 +0000 (+0900) Subject: infoファイル作成手順を修正 X-Git-Tag: 0.2p3~4 X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=commitdiff_plain;h=5d149afa866c1b91d26247fc4666ebccfd39a0fa infoファイル作成手順を修正 --- diff --git a/doc/Makefile b/doc/Makefile index ac78fc3..93fbeed 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -16,7 +16,6 @@ MAKEINFO ?= gmakeinfo INSTALL ?= install INSTALL-INFO ?= ginstall-info GZIP = gzip -SED = sed prefix ?= ~ infodir ?= $(prefix)/share/info @@ -37,9 +36,8 @@ htmls: $(MANUAL)_html pdf: $(INSTALLDOC).pdf $(MANUAL).pdf -$(MANUAL_SYSINFO): $(MANUAL).info - $(CP) $< $@ - $(SED) -i -e "s/@setfilename manual/@setfilename $(MANUAL_SYSINFO)/" $@ +$(MANUAL_SYSINFO): $(MANUAL).texi + $(MAKEINFO) $< %.html: %.texi $(CSS) $(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $< diff --git a/doc/manual.texi b/doc/manual.texi index 9439f8a..573222d 100644 --- a/doc/manual.texi +++ b/doc/manual.texi @@ -3,7 +3,7 @@ @ifnottex @documentlanguage ja_JP @end ifnottex -@setfilename manual +@setfilename yacasl2.info @documentencoding UTF-8 @settitle YACASL2 - CASL II 処理システム @firstparagraphindent insert