diff --git a/ChangeLog b/ChangeLog
index 1b02030ba..1c8839537 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2014-08-29 Paulo Andrade <pcpa@gnu.org>
+
+	* doc/body.texi: Add a proper info menu entry for
+	GNU lightning.
+
+	* doc/version.texi: Regenerate.
+
 2014-08-16 Paulo Andrade <pcpa@gnu.org>
 
 	* lib/jit_aarch64-cpu.c, lib/jit_aarch64-fpu.c,
diff --git a/doc/body.texi b/doc/body.texi
index 81b879810..2b3f5f132 100644
--- a/doc/body.texi
+++ b/doc/body.texi
@@ -1,3 +1,10 @@
+@ifnottex
+@dircategory Software development
+@direntry
+* lightning: (lightning).       Library for dynamic code generation.
+@end direntry
+@end ifnottex
+
 @ifnottex
 @node Top
 @top @lightning{}
diff --git a/doc/version.texi b/doc/version.texi
index d26998eec..32d6514a4 100644
--- a/doc/version.texi
+++ b/doc/version.texi
@@ -1,4 +1,4 @@
-@set UPDATED 24 January 2013
-@set UPDATED-MONTH January 2013
+@set UPDATED 29 August 2014
+@set UPDATED-MONTH August 2014
 @set EDITION 2.0.5
 @set VERSION 2.0.5