* doc/NEWS.txt, doc/HACKING.txt, doc/README.txt: Adjust for 1.4.

ChangeLog

+2011-09-27  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* doc/NEWS.txt, doc/HACKING.txt, doc/README.txt: Adjust for 1.4.
+
 2011-09-27  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 	* doc/manual/TFKD-ch0.tex: Fix the `dotty' script.
-2011-09-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+2011-09-27  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 	Integrate Jacques' documentation.
@@ -209,7 +213,7 @@
 2011-07-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
-	* doc/NEWS.txt: Fix identation.
+	* doc/NEWS.txt: Fix indentation.
 2011-07-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

doc/HACKING.txt

@@ -472,7 +472,6 @@ Don't do these steps from memory.
   - Make sure the last run of the autobuilder was successful.
   - Check trac to make sure there are no important pending tickets.
 
-  - Run ``make maintainer-check`` in ``doc/manual``.
   - Make sure ``doc/NEWS.txt`` is up-to-date.
     (Mention important known bugs!)
   - Make sure ``doc/README.txt`` is up-to-date.
@@ -480,11 +479,11 @@ Don't do these steps from memory.
 
   - Make sure AUTHORS is up-to-date.
 
-Make sure your system has up-to-date tools (Autotools, Swig, Doxygen,
-...)  before continuing.
+Make sure your system has up-to-date tools (Autotools, Doxygen, ...)
+before continuing.
 
   - Bump the version number in ``configure.ac``
-    and in ``doc/manual/taf-kit-manual.tex``.
+    and in ``doc/manual/TAKD.tex``.
   - Run ``bootstrap``.
   - Write the ``ChangeLog`` entry for all the above changes
     (But don't push it before ``distcheck``.)

doc/NEWS.txt

@@ -8,6 +8,24 @@ This document describes major updates to the Vaucanson_ project.
 
 :Contact: vaucanson@lrde.epita.fr
 
+Vaucanson 1.4, September 28th, 2011
+===================================
+
+- Add a new, rewritten documentation for TAF-Kit and all the
+  algorithms and example automata available via TAF-Kit.  (113 pages)
+- Add several new example automata.
+- New TAF-Kit commands:
+  * w-image
+  * w-domain
+  * support
+  * universal
+  * intersection
+- Fix bugs in:
+  * image, domain, proper (for Q), evaluation (for fmp),
+  chain, star-alphabet, edit
+- Improve the command menu of TAF-Kit's editor.
+
+
 Vaucanson 1.3.9, July 8th, 2011
 ===============================
 
@@ -55,6 +73,7 @@ new algorithms, a lot of renaming.
   as divkbaseb-char-b, ladybird-char-b, etc.
 - {0} weights are displayed in Zmin and Zmax contexts.
 
+
 Vaucanson 1.3.2, September 22th, 2009
 =====================================
 

doc/README.txt

 Vaucanson, a generic library for finite state machines.
-Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 The
-Vaucanson Group.
+Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009,
+2011 The Vaucanson Group.
 
 This program is free software; you can redistribute it and/or
 modify it under the terms of the GNU General Public License
@@ -82,7 +82,7 @@ Requirements
 ============
 
 Vaucanson was tested with the `GNU Compiler Collection (GCC)`_ version
-4.1.x to 4.4.x.
+4.1.x to 4.6.x.
 
 .. _GNU Compiler Collection (GCC): http://gcc.gnu.org/
 .. _ICC: http://www.intel.com/software/products/compilers/