[svn] Updated.

diff --git a/NEWS b/NEWS
index 0d8f2b7aef918e7f5ce97e0f22df579573f39591..0fe8fc10cdc4997c5eb983934168e92e4fda4b2d 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -7,6 +7,12 @@ Please send GNU Wget bug reports to <bug-wget@gnu.org>.
 \f
 * Changes in Wget 1.9+.
 
+** Many options that previously unconditionally set or unset features
+are now boolean options that can be invoked as `--OPTION[=yes/no]' or
+with `--no-OPTION'.  This is useful because it allows you to specify
+non-default behavior via `.wgetrc' and then revert it again on the
+command-line.
+
 ** The new option `--keep-session-cookies' causes `--save-cookies' to
 save session cookies along with the permanent ones.  This is useful on
 sites that require you to log in before you can access some pages.

diff --git a/TODO b/TODO
index ea7e72127fda43bed948da9ff661a9d8e90436ab..3122f8fd65bc23d13d95225670d7f7164493485d 100644 (file)
--- a/TODO
+++ b/TODO
@@ -79,12 +79,6 @@ represent user-visible changes.
 
 * Add option to clobber existing file names (no `.N' suffixes).
 
-* Introduce real "boolean" options.  Every `--foo' setting should have
-  a corresponding `--no-foo' that turns off.  This is useful even for
-  options turned off by default, because the default can be reversed
-  in `.wgetrc'.  Get rid of `--foo=no'.  Short options would be
-  handled as `-x' vs. `-nx'.
-
 * Add option to only list wildcard matches without doing the download.
 
 * Handle MIME types correctly.  There should be an option to (not)