From fc1c5ac61c01824e114834214530741f7ae1ff52 Mon Sep 17 00:00:00 2001
From: j8takagi <j8takagi@nifty.com>
Date: Sun, 14 Feb 2010 12:13:56 +0900
Subject: [PATCH] =?utf8?q?as/*/test=E3=81=AE=E7=84=A1=E8=A6=96=E3=83=95?=
 =?utf8?q?=E3=82=A1=E3=82=A4=E3=83=AB=E8=A8=AD=E5=AE=9A?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 doc/yacasl2.texi | 20 ++++++++++++++------
 1 file changed, 14 insertions(+), 6 deletions(-)

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
-- 
2.18.0