X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=doc%2Fyacasl2.texi;h=32209a494d571983179ba3f42a0a9b2d46c55746;hp=e5e1fbb7b707e8be92af89ce4dd7a7778bcbad1b;hb=fc1c5ac61c01824e114834214530741f7ae1ff52;hpb=4fe8479d27f535a0ff44c9f6ce270249934e980f

diff --git a/doc/yacasl2.texi b/doc/yacasl2.texi
index e5e1fbb..32209a4 100644
--- a/doc/yacasl2.texi
+++ b/doc/yacasl2.texi
@@ -57,7 +57,7 @@ YACASL2は、「ふつうの処理系」として動作します。ほかの多
 
 @chapter YACASL2のインストール
 
-YACASL2をインストールするには、Linux上で次の作業が必要です。
+YACASL2をインストールするには、Linux上で次の作業をします。
 
 @enumerate
 
@@ -82,23 +82,31 @@ YACASL2は、Linux上で動作します。インストール時に、@command{ta
 @itemize @bullet
 
 @item
-Ubuntu Linux 9.04
-
-@item
-Ubuntu Linux 8.04
+Ubuntu Linux 9.04 / 8.04
 
 @item
 Vine Linux 4.2
 @end itemize
 
 @section @file{yacasl2.tar.gz}のダウンロード
+（詳細未定）
 
 @verbatim
 $ cd
-$ wget
+$ wget somewhere
+@end verbatim
+
+@section @file{yacasl2.tar.gz}の検証
+（PGPを使った検証も導入予定）
+
+ダウンロードが完了したら、次のコマンドで正しくファイルがダウンロードができているかを検証します。
+
+@verbatim
+$ md5sum
 @end verbatim
 
 @section @file{yacasl2.tar.gz}の展開
+@file{yacasl2.tar.gz}をダウンロードしたら、次のコマンドで展開します。
 
 @verbatim
 $ tar xvzf yacasl2.tar.gz