From 18eb3088f277195e98842c0c9427220df6bb53e6 Mon Sep 17 00:00:00 2001
From: j8takagi <j8takagi@nifty.com>
Date: Sun, 14 Feb 2010 12:42:11 +0900
Subject: [PATCH] =?utf8?q?=E3=83=89=E3=82=AD=E3=83=A5=E3=83=A1=E3=83=B3?=
 =?utf8?q?=E3=83=88=E4=BD=9C=E6=88=90?=
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