|
@@ -3143,7 +3143,9 @@ of URIs. These optional lines must start with white space(s).</p></div>
|
|
|
</li>
|
|
|
</ul></div>
|
|
|
<div class="paragraph"><p>These options have exactly same meaning of the ones in the
|
|
|
-command-line options, but it just applies to the URIs it belongs to.</p></div>
|
|
|
+command-line options, but it just applies to the URIs it belongs to.
|
|
|
+Please note that for options in input file "--" prefix must be
|
|
|
+stripped.</p></div>
|
|
|
<div class="paragraph"><p>For example, the content of uri.txt is</p></div>
|
|
|
<div class="listingblock">
|
|
|
<div class="content">
|
|
@@ -4581,7 +4583,7 @@ files in the program, then also delete it here.</p></div>
|
|
|
<div id="footnotes"><hr /></div>
|
|
|
<div id="footer">
|
|
|
<div id="footer-text">
|
|
|
-Last updated 2010-10-30 20:33:53 JST
|
|
|
+Last updated 2010-10-30 20:41:46 JST
|
|
|
</div>
|
|
|
</div>
|
|
|
</body>
|