ドキュメントの修正

[YACASL2.git] / doc / manual.texi

diff --git a/doc/manual.texi b/doc/manual.texi
index 9439f8a..8d41649 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
@@ -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
 
-å\87ºå\8a\9bã\81\95ã\82\8cã\81\9få\8b\95ä½\9cå\86\85容ã\81¯ã\80\81GNU/Linuxã\81®ã\81\95ã\81¾ã\81\96ã\81¾ã\81ªã\83\84ã\83¼ã\83«、
-たとえば、@command{cat} @command{less} @command{grep} @command{wc}などを使って解析できます。
+å\87ºå\8a\9bã\81\95ã\82\8cã\81\9få\8b\95ä½\9cå\86\85容ã\81¯ã\80\81GNU/Linuxã\81®ã\81\95ã\81¾ã\81\96ã\81¾ã\81ªã\82³ã\83\9eã\83³ã\83\89、
+たとえば、@command{cat}、@command{less}、@command{grep}、@command{wc}などを使って解析できます。
 
 YACASL2の操作は、端末上のコマンドラインインターフェイスで行います。