diff options
| author | Dai Sato <satodai@w3m.jp> | 2006-04-08 11:26:22 +0000 |
|---|---|---|
| committer | Dai Sato <satodai@w3m.jp> | 2006-04-08 11:26:22 +0000 |
| commit | 0f51d4c26fb37a85dea005ab09d40cd6c97d88ae (patch) | |
| tree | 5cb7f795e56c87cd492cbacc600ec6f3eba7d9d5 /doc-jp/MANUAL.html | |
| parent | [w3m-dev 04150] fix vi_prec_num switching. (diff) | |
| download | w3m-0f51d4c26fb37a85dea005ab09d40cd6c97d88ae.tar.gz w3m-0f51d4c26fb37a85dea005ab09d40cd6c97d88ae.zip | |
add explanations for .w3m/config and -o option.
Diffstat (limited to 'doc-jp/MANUAL.html')
| -rw-r--r-- | doc-jp/MANUAL.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc-jp/MANUAL.html b/doc-jp/MANUAL.html index 9dab5d9..0b24619 100644 --- a/doc-jp/MANUAL.html +++ b/doc-jp/MANUAL.html @@ -97,6 +97,7 @@ HTMLファイルのソースを表示する <dd>折り返しサーチを使うかどうかを切りかえる． <dt>-o option=value <dd>オプションを指定する． +オプションの名前や値は，~/.w3m/config で指定するものと同じ． <dt>-no-proxy <dd>プロキシを利用しない． <dt>-pauth user:pass |