From 14ccee322bf3fbf20bcd3fdacb17bd7faa040fb3 Mon Sep 17 00:00:00 2001
From: "K. Richard Pixley" <rich@cygnus>
Date: Thu, 14 Nov 1991 00:36:07 +0000
Subject: [PATCH] added info dir menu hooks

---
 readline/history.texi  | 8 ++++++--
 readline/readline.texi | 8 ++++++--
 2 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/readline/history.texi b/readline/history.texi
index 7302edb3323..1bcce4d402c 100755
--- a/readline/history.texi
+++ b/readline/history.texi
@@ -1,9 +1,13 @@
 \input texinfo.tex
 @setfilename history.info
 
-@c start-menu
+@ifinfo
+@format
+START-INFO-DIR-ENTRY
 * History: (history).		The GNU History library.
-@c end-menu
+END-INFO-DIR-ENTRY
+@end format
+@end ifinfo
 
 @ifinfo
 This file documents the GNU History library.
diff --git a/readline/readline.texi b/readline/readline.texi
index 578e1b7e9d5..ea6c9ea8585 100755
--- a/readline/readline.texi
+++ b/readline/readline.texi
@@ -5,9 +5,13 @@
 @comment %**end of header (This is for running Texinfo on a region.)
 @synindex fn vr
 
-@c start-menu
+@ifinfo
+@format
+START-INFO-DIR-ENTRY
 * Readline: (readline).		The GNU Readline Library.
-@c end-menu
+END-INFO-DIR-ENTRY
+@end format
+@end ifinfo
 
 @iftex
 @comment finalout
-- 
2.30.2