Explicit rules to build en@{quot,boldquot}.po.

[wget] / NEWS

diff --git a/NEWS b/NEWS
index 7d15a98af35f2c029a6faec8ac6b8f021c40ccdc..2d0092f47932591220450654fcd6abedba6ddb0e 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -6,10 +6,9 @@ See the end for copying conditions.
 
 Please send GNU Wget bug reports to <bug-wget@gnu.org>.
 \f
-* Changes in Wget 1.12 (MAINLINE)
+* Changes in Wget 1.12
 
-** --default-page option added to support alternative default names for
-index.html.
+** Mailing list MOVED to bug-wget@gnu.org
 
 ** Added support for CSS. This includes:
      - Parsing links from CSS files, and from CSS content found in HTML
@@ -22,11 +21,28 @@ index.html.
    CSS support in Wget is thanks to Ted Mielczarek
    <ted.mielczarek@gmail.com>.
 
+** Added support for Internationalized Resource Identifiers (IRIs, RFC
+3987). When support is enabled (default), links with non-ASCII bytes
+are translated from their source encoding to UTF-8 before percent-encoding.
+
+   IRI support was added by Saint Xavier <wget@sxav.eu>, as his
+   project for the Google Summer of Code.
+
+** --default-page option (and associated wgetrc command) added to
+support alternative default names for index.html.
+
 ** --ask-password option (and associated wgetrc command) added to
 support password prompts at the console.
  
 ** The --input-file option now also handles retrieving links from
 an external file.
+
+** The output generated by the --version option now includes
+information on how it was built, and the set of configure-time options
+that were selected.
+
+** Several previously existing, but undocumented .wgetrc options
+are now documented: save_headers, spider, and user_agent.
 \f
 * Changes in Wget 1.11.4