From 5d149afa866c1b91d26247fc4666ebccfd39a0fa Mon Sep 17 00:00:00 2001
From: j8takagi <j8takagi@nifty.com>
Date: Fri, 2 Nov 2012 10:22:37 +0900
Subject: [PATCH] =?utf8?q?info=E3=83=95=E3=82=A1=E3=82=A4=E3=83=AB?=
 =?utf8?q?=E4=BD=9C=E6=88=90=E6=89=8B=E9=A0=86=E3=82=92=E4=BF=AE=E6=AD=A3?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 doc/Makefile    | 6 ++----
 doc/manual.texi | 2 +-
 2 files changed, 3 insertions(+), 5 deletions(-)

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
-- 
2.18.0