infoファイル作成手順を修正

diff --git a/doc/Makefile b/doc/Makefile
index ac78fc3..93fbeed 100644 (file)
--- 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 (file)
--- 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