脚注

(1)

ホームディレクトリに ‘.netrc’ファイルがある場合，パスワードはそこで検索されます．

(2)

追加の調査として， WgetはContent-Lengthヘッダを見て，そして大きさを比較します．同じ ではない場合，リモートファイルはタイムスタンプ告げることにかかわらず， ダウンロードされます．

この文書は新堂 安孝によって2009年9月22日にtexi2html 1.82を用いて生成されました。