From: j8takagi <j8takagi@nifty.com>
Date: Sun, 14 Feb 2010 03:13:56 +0000 (+0900)
Subject: as/*/testの無視ファイル設定
X-Git-Tag: v0.1~32^2
X-Git-Url: https://j8takagi.net/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fc1c5ac61c01824e114834214530741f7ae1ff52;p=YACASL2.git

as/*/testの無視ファイル設定
---

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