Index: b/documentation/asis_rm.info
===================================================================
--- a/documentation/asis_rm.info
+++ b/documentation/asis_rm.info
@@ -1,6 +1,11 @@
 This is asis_rm.info, produced by makeinfo version 4.7 from
 asis_rm.texi.
 
+INFO-DIR-SECTION GNU Ada tools
+START-INFO-DIR-ENTRY
+* ASIS_RM: (asis_rm).    Ada Semantic Interface Specification Reference Manual
+END-INFO-DIR-ENTRY
+
 
 File: asis_rm.info,  Node: Top,  Next: About This Manual,  Prev: (dir),  Up: (dir)
 
Index: b/documentation/asis_ug.info
===================================================================
--- a/documentation/asis_ug.info
+++ b/documentation/asis_ug.info
@@ -1,6 +1,11 @@
 This is asis_ug.info, produced by makeinfo version 4.7 from
 asis_ug.texi.
 
+INFO-DIR-SECTION GNU Ada tools
+START-INFO-DIR-ENTRY
+* ASIS_UG: (asis_ug).    Ada Semantic Interface Specification User's Guide
+END-INFO-DIR-ENTRY
+
 
 File: asis_ug.info,  Node: Top,  Next: About This Guide,  Prev: (dir),  Up: (dir)