diff --git a/src/doc/devel.txi b/src/doc/devel.txi
index cbde43512..c97424c22 100644
--- a/src/doc/devel.txi
+++ b/src/doc/devel.txi
@@ -5,6 +5,12 @@
 @setchapternewpage odd
 @c %**end of header
 
+@c Entries for @command{install-info} to use
+@dircategory Lisp Programming
+@direntry
+* ecldev: (ecldev).     Embeddable Common Lisp (ECL) Developer's Manual
+@end direntry
+
 @include macros.txi
 
 @ifinfo
diff --git a/src/doc/user.txi b/src/doc/user.txi
index c4d5ba7a1..7f1f218c4 100644
--- a/src/doc/user.txi
+++ b/src/doc/user.txi
@@ -5,6 +5,12 @@
 @setchapternewpage odd
 @c %**end of header
 
+@c Entries for @command{install-info} to use
+@dircategory Lisp Programming
+@direntry
+* ecl: (ecl).           Embeddable Common Lisp (ECL) User's Manual
+@end direntry
+
 @include macros.txi
 
 @ifinfo