From: j8takagi <j8takagi@nifty.com>
Date: Fri, 2 Nov 2012 01:22:37 +0000 (+0900)
Subject: infoファイル作成手順を修正
X-Git-Tag: 0.2p3~4
X-Git-Url: https://j8takagi.net/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5d149afa866c1b91d26247fc4666ebccfd39a0fa;p=YACASL2.git

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