wingo pushed a commit to branch lightning
in repository guile.
commit 4f8d85b90d8e3da80c54a4ad1b67b7eb59c8c97e
Author: pcpa <[email protected]>
Date: Fri Aug 29 11:23:22 2014 -0300
Add info menu entry for lightning
* doc/body.texi: Add a proper info menu entry for
GNU lightning.
* doc/version.texi: Regenerate.
---
ChangeLog | 7 +++++++
doc/body.texi | 7 +++++++
doc/version.texi | 4 ++--
3 files changed, 16 insertions(+), 2 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index 1b02030..1c88395 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2014-08-29 Paulo Andrade <[email protected]>
+
+ * doc/body.texi: Add a proper info menu entry for
+ GNU lightning.
+
+ * doc/version.texi: Regenerate.
+
2014-08-16 Paulo Andrade <[email protected]>
* lib/jit_aarch64-cpu.c, lib/jit_aarch64-fpu.c,
diff --git a/doc/body.texi b/doc/body.texi
index 81b8798..2b3f5f1 100644
--- a/doc/body.texi
+++ b/doc/body.texi
@@ -1,4 +1,11 @@
@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 d26998e..32d6514 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
