ドキュメントの修正

[YACASL2.git] / doc / manual.texi

diff --git a/doc/manual.texi b/doc/manual.texi
index 573222d..a6c9156 100644 (file)
--- a/doc/manual.texi
+++ b/doc/manual.texi
@@ -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の操作は、端末上のコマンドラインインターフェイスで行います。