[w3m-dev 04152] [PATCH] Add more explanation for the usage of the option setting panel.

* ~/.w3m/config 
  
*  -o 
  




-- 
|:  Noritada KOBAYASHI
|:  Dept. of General Systems Studies,
|:  Graduate School of Arts and Sciences, Univ. of Tokyo
|:  E-mail: [email protected] (preferable)
|:          [email protected]
|:  Key fingerprint = AB26 9533 81DA 997B 3C06  4380 19BB ADA0 695C 9F53


Index: doc/FAQ.html
===================================================================
RCS file: /cvsroot/w3m/w3m/doc/FAQ.html,v
retrieving revision 1.5
diff -u -r1.5 FAQ.html
--- doc/FAQ.html	13 Jul 2004 17:17:39 -0000	1.5
+++ doc/FAQ.html	24 Sep 2005 14:12:22 -0000
@@ -270,6 +270,10 @@
 <dl>
 <dt><h3>What is w3m's configuration file?</h3>
 <dd>It is ~/.w3m/config.
+With this file, you can adjust w3m's behavior by changing values of options
+that are described to be varied with the option setting panel.
+Each line contains setting for one option, which is a pair of an option name
+and its value with a space as a separator.
 <p>
 <dt><h3>What are these w3mxxxx files in my ~/.w3m directory for?</h3>
 <dd>These are temporary files used by w3m when reading documents from a
Index: doc-jp/FAQ.html
===================================================================
RCS file: /cvsroot/w3m/w3m/doc-jp/FAQ.html,v
retrieving revision 1.6
diff -u -r1.6 FAQ.html
--- doc-jp/FAQ.html	13 Jul 2004 17:17:39 -0000	1.6
+++ doc-jp/FAQ.html	24 Sep 2005 14:12:22 -0000
@@ -222,6 +222,9 @@
 <dl>
 <dt>
 <dd>~/.w3m  config 
+
+w3m 
+ 1  1 
 <p>
 <dt>~/.w3m  w3mXXXXXX 
 <dd>WWW
Index: doc-jp/MANUAL.html
===================================================================
RCS file: /cvsroot/w3m/w3m/doc-jp/MANUAL.html,v
retrieving revision 1.5
diff -u -r1.5 MANUAL.html
--- doc-jp/MANUAL.html	10 Jul 2002 14:28:09 -0000	1.5
+++ doc-jp/MANUAL.html	24 Sep 2005 14:12:23 -0000
@@ -97,6 +97,7 @@
 <dd>
 <dt>-o option=value
 <dd>
+~/.w3m/config 
 <dt>-no-proxy
 <dd>
 <dt>-pauth user:pass