X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=doc%2Fmanual.texi;h=998b34edad7c3f84ae879dcd8e503bd392e410b5;hp=92298b0d88ef0c1375a87d61640a4563ae5b5bdb;hb=ac006f13842236a2a2e197e4a1cc795b094a442f;hpb=3242e69dd21cc00458447c231ef63f876ea54ad1

diff --git a/doc/manual.texi b/doc/manual.texi
index 92298b0..998b34e 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の操作は、端末上のコマンドラインインターフェイスで行います。
 
@@ -442,7 +442,7 @@ $ @kbd{od -t x2 hello.o}
 0000106
 @end example
 
-オブジェクトファイルの実行には、@command{casl2}を使います。
+オブジェクトファイルの実行には、@command{comet2}を使います。
 
 @example
 $ @kbd{comet2 hello.o}
@@ -533,7 +533,7 @@ $ @kbd{casl2 hello.casl}
 $ @kbd{casl2 addl_outl.casl ~/yacasl2/as/casl2lib/outl.casl}
 @end example
 
-@unnumberedsubsec オプション
+@unnumberedsec オプション
 
 @command{casl2}は、次のオプションを指定できます。
 
@@ -678,7 +678,7 @@ $ @kbd{comet2 hello.o}
 引数が指定されない場合は、エラーメッセージを表示して終了します。
 複数の引数を指定した場合、2番目以降の引数は無視されます。
 
-@unnumberedsubsec オプション
+@unnumberedsec オプション
 
 @command{comet2}は、次のオプションを指定できます。
 
@@ -784,7 +784,7 @@ $ @kbd{dumpword 10}
 引数が指定されない場合は、使い方を表示して終了します。
 複数の引数を指定した場合、1つ目の引数だけが表示され、2つ目以降の引数は無視されます。
 
-@unnumberedsubsec 注意
+@unnumberedsec 注意
 
 マイナスの数や16進数はシェルの仕様により、そのままでは指定できません。