projects
/
YACASL2.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
7486908
)
as/*/testの無視ファイル設定
author
j8takagi
<j8takagi@nifty.com>
Sun, 14 Feb 2010 03:13:56 +0000
(12:13 +0900)
committer
j8takagi
<j8takagi@nifty.com>
Sun, 14 Feb 2010 03:13:56 +0000
(12:13 +0900)
doc/yacasl2.texi
patch
|
blob
|
history
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のインストール
@chapter YACASL2のインストール
-YACASL2ã
\82
\92
ã
\82
¤ã
\83
³ã
\82
¹ã
\83
\88
ã
\83
¼ã
\83
«ã
\81
\99
ã
\82
\8b
ã
\81
«ã
\81
¯ã
\80
\81
Linuxä¸
\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
\81
Linuxä¸
\8a
ã
\81
§æ¬¡ã
\81
®ä½
\9c
æ¥ã
\82
\92
ã
\81
\97
ã
\81
¾
す。
@enumerate
@enumerate
@@
-82,23
+82,31
@@
YACASL2は、Linux上で動作します。インストール時に、@command{ta
@itemize @bullet
@item
@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}のダウンロード
@item
Vine Linux 4.2
@end itemize
@section @file{yacasl2.tar.gz}のダウンロード
+(詳細未定)
@verbatim
$ cd
@verbatim
$ cd
-$ wget
+$ wget somewhere
+@end verbatim
+
+@section @file{yacasl2.tar.gz}の検証
+(PGPを使った検証も導入予定)
+
+ダウンロードが完了したら、次のコマンドで正しくファイルがダウンロードができているかを検証します。
+
+@verbatim
+$ md5sum
@end verbatim
@section @file{yacasl2.tar.gz}の展開
@end verbatim
@section @file{yacasl2.tar.gz}の展開
+@file{yacasl2.tar.gz}をダウンロードしたら、次のコマンドで展開します。
@verbatim
$ tar xvzf yacasl2.tar.gz
@verbatim
$ tar xvzf yacasl2.tar.gz