X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fmanual.texi;h=26d2d7ada9e5937cfae07f77c771d69ce37be052;hb=8993a52e06e3f33aad16c8bb842f62307cae8063;hp=92298b0d88ef0c1375a87d61640a4563ae5b5bdb;hpb=3e59a8a847dcd7110a48d22ee2ce6e65c4811cbb;p=YACASL2.git

diff --git a/doc/manual.texi b/doc/manual.texi
index 92298b0..26d2d7a 100644
--- a/doc/manual.texi
+++ b/doc/manual.texi
@@ -3,7 +3,7 @@
 @ifnottex
 @documentlanguage ja_JP
 @end ifnottex
-@setfilename yacasl2
+@setfilename yacasl2.info
 @documentencoding UTF-8
 @settitle YACASL2 - CASL II 処理システム
 @firstparagraphindent insert
@@ -19,10 +19,10 @@ Copyright @copyright{} 2010-2012 j8takagi
 
 @dircategory Programming
 @direntry
-* YACASL2: (yacasl2).                     CASL II 処理システム
-* casl2: (yacasl2)casl2 invocation.       casl2の呼び出し
-* comet2: (yacasl2)comet2 invocation.     comet2の呼び出し
-* dumpword: (yacasl2)dumpword invocation. dumpwordの呼び出し
+* YACASL2: (yacasl2.info).                     CASL II 処理システム
+* casl2: (yacasl2.info)casl2 invocation.       casl2の呼び出し
+* comet2: (yacasl2.info)comet2 invocation.     comet2の呼び出し
+* dumpword: (yacasl2.info)dumpword invocation. dumpwordの呼び出し
 @end direntry
 
 @titlepage
@@ -36,7 +36,7 @@ Copyright @copyright{} 2010-2012 j8takagi
 
 @menu
 * Overview::                    YACASL2の概要
-* Sample usage::               YACASL2の使用例
+* Sample usage::                YACASL2の使用例
 * casl2 invocation::            casl2の呼び出し
 * comet2 invocation::           comet2の呼び出し
 * dumpword invocation::         dumpwordの呼び出し
@@ -93,8 +93,8 @@ YACASL2は、「ふつうの処理系」として動作します。
 実行時のメモリの内容
 @end itemize
 
-出力された動作内容は、GNU/Linuxのさまざまなツール、
-たとえば、@command{cat} @command{less} @command{grep} @command{wc}などを使って解析できます。
+出力された動作内容は、GNU/Linuxのさまざまなコマンド、
+たとえば、@command{cat}、@command{less}、@command{grep}、@command{wc}などを使って解析できます。
 
 YACASL2の操作は、端末上のコマンドラインインターフェイスで行います。