diff --git a/ChangeLog b/ChangeLog
index 39447c4ea..61bc88132 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2003-07-13  Alexandre Duret-Lutz  <adl@gnu.org>
+
+	* configure.ac: Bump version to 0.0d.
+	* NEWS, README: New files.
+
 2003-07-12  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
 	* m4/lbtt.m4: Run lbtt-translate, not lbtt.
@@ -116,7 +121,7 @@
 2003-07-03  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
 	* src/tgba/tgbaproduct.cc (tgba_product_succ_iterator::first):
-	Simplify, do not call next_non_false_() either side is done.
+	Simplify, do not call next_non_false_() if either side is done.
 
 	* src/tgba/succiter.hh (tgba_succ_iterator::current_condition):
 	State that this is a boolean function.
diff --git a/NEWS b/NEWS
new file mode 100644
index 000000000..e50ef4974
--- /dev/null
+++ b/NEWS
@@ -0,0 +1,18 @@
+New in spot 0.0d (2003-07-13):
+
+  * Optimize translation of G operators occurring at the root
+    of a formula (or its immediate children when the root is a
+    conjunction).  This saves two BDD variables per G operator.
+  * Distribute lbtt, and run it during `make check'.
+  * First sketch of GSPN interface.
+  * succ_iter_concreate::next() completely rewritten.
+  * Transitions are now labelled by boolean formulae (not only
+    conjunctions).
+  * Documentation:
+    - Output collaboration diagrams.
+    - Build and distribute PDF manual.
+  * Many bug fixes.
+
+New in spot 0.0b (2003-06-26):
+
+  * Everything.
diff --git a/README b/README
new file mode 100644
index 000000000..2ac154bf4
--- /dev/null
+++ b/README
@@ -0,0 +1,38 @@
+Layout of the source tree
+=========================
+
+Core directories
+----------------
+
+src/           Sources for libspot.
+   ltlast/     LTL abstract syntax tree.
+   ltlenv/     LTL environments.
+   ltlparse/   Parser for LTL formulae.
+   ltlvisit/   Visitors of LTL formulae.
+   ltltest/    Tests for ltlast/, ltlenv/, ltlparse/, and ltlvisit/.
+   misc/       Miscellaneous support files.
+   tgba/       TGBA objects and cousins.
+   tgbaalgos/  Algorithms on TGBAs.
+   tgbaparse/  Parser for explicit TGBAs.
+   tgbatest/   Tests for tgba/, tgbaalgos/, and tgbaparse/.
+doc/	       Documentation for libspot.
+   spot.html/  HTML manual.
+   spot.latex/ Sources for the PDF manual. (No distributed, can be rebuilt.)
+   spotref.pdf PDF manual.
+wrap/	       Wrappers for other languages.
+iface/	       Interfaces to other libraries.
+   gspn/       GreatSPN interface.
+
+
+Third party softwares
+---------------------
+
+buddy/   A patched version of BuDDy 2.2 (a BDD library).
+lbtt/    A patched version of lbtt 1.0.1 (an LTL to Büchi automata test bench).
+
+
+Build-system stuffs
+-------------------
+
+m4/      M4 macros used by configure.ac.
+tools/   Helper scripts used during the build.
diff --git a/configure.ac b/configure.ac
index 19de148f7..cee287a84 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,7 +1,7 @@
 AC_PREREQ([2.57])
-AC_INIT([spot], [0.0c])
+AC_INIT([spot], [0.0d])
 AC_CONFIG_AUX_DIR([tools])
-AM_INIT_AUTOMAKE([foreign nostdinc 1.7.3])
+AM_INIT_AUTOMAKE([foreign nostdinc check-news 1.7.3])
 
 adl_CHECK_PYTHON