diff options
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 |