infoファイル作成手順を修正
[YACASL2.git] / doc / manual.texi
index 9439f8a..573222d 100644 (file)
@@ -3,7 +3,7 @@
 @ifnottex
 @documentlanguage ja_JP
 @end ifnottex
-@setfilename manual
+@setfilename yacasl2.info
 @documentencoding UTF-8
 @settitle YACASL2 - CASL II 処理システム
 @firstparagraphindent insert