ドキュメント作成

diff --git a/doc/yacasl2.texi b/doc/yacasl2.texi
index e5e1fbb..32209a4 100644 (file)
--- a/doc/yacasl2.texi
+++ b/doc/yacasl2.texi
@@ -57,7 +57,7 @@ YACASL2は、「ふつうの処理系」として動作します。ほかの多
 
 @chapter YACASL2のインストール
 
-YACASL2ã\82\92ã\82¤ã\83³ã\82¹ã\83\88ã\83¼ã\83«ã\81\99ã\82\8bã\81«ã\81¯ã\80\81Linuxä¸\8aã\81§æ¬¡ã\81®ä½\9c業ã\81\8cå¿\85è¦\81ã\81§す。
+YACASL2ã\82\92ã\82¤ã\83³ã\82¹ã\83\88ã\83¼ã\83«ã\81\99ã\82\8bã\81«ã\81¯ã\80\81Linuxä¸\8aã\81§æ¬¡ã\81®ä½\9c業ã\82\92ã\81\97ã\81¾す。
 
 @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