2b15d05
--- gcl/info/gcl-si.texi.orig	2014-10-23 15:29:00.000000000 -0600
88ebbbf
+++ gcl/info/gcl-si.texi	2021-02-01 12:01:17.148372900 -0700
2b15d05
@@ -10,6 +10,7 @@
2b15d05
 
2b15d05
 @c @smallbook
2b15d05
 @setfilename gcl-si.info
2b15d05
+@settitle GCL SI Manual
2b15d05
 @synindex vr fn
2b15d05
 
2b15d05
 @c to update the menus do: 
2b15d05
@@ -20,7 +21,7 @@
2b15d05
 @setchapternewpage odd
2b15d05
 @dircategory GNU Common Lisp
2b15d05
 @direntry 
2b15d05
-* gcl-si: (gcl-si.info). GNU Common Lisp System Internals
2b15d05
+* gcl-si: (gcl-si).	GNU Common Lisp System Internals.
2b15d05
 @end direntry
2b15d05
 
2b15d05
 @ifinfo
88ebbbf
--- gcl/info/gcl.texi.orig	2021-02-01 11:52:07.385256164 -0700
88ebbbf
+++ gcl/info/gcl.texi	2021-02-01 12:02:04.668296558 -0700
88ebbbf
@@ -12,14 +12,13 @@ for Common Lisp.
2b15d05
 
2b15d05
 Copyright 1994 William F. Schelter
88ebbbf
 
2b15d05
-@format
2b15d05
-INFO-DIR-SECTION GNU Common Lisp
2b15d05
-START-INFO-DIR-ENTRY
2b15d05
-* gcl: (gcl.info). GNU Common Lisp Manual
2b15d05
-END-INFO-DIR-ENTRY
2b15d05
-@end format
2b15d05
 @end ifinfo
2b15d05
 
2b15d05
+@dircategory GNU Common Lisp
2b15d05
+@direntry
2b15d05
+* gcl: (gcl).	GNU Common Lisp Manual.
2b15d05
+@end direntry
2b15d05
+
2b15d05
 @titlepage
2b15d05
 @sp 10
2b15d05
 @comment The title is printed in a large font.
2b15d05
--- gcl/info/gcl-tk.texi.orig	2014-10-23 15:29:00.000000000 -0600
88ebbbf
+++ gcl/info/gcl-tk.texi	2021-02-01 12:03:00.139207451 -0700
2b15d05
@@ -10,6 +10,7 @@
2b15d05
 
2b15d05
 @c @smallbook
2b15d05
 @setfilename gcl-tk.info
2b15d05
+@settitle GCL TK Manual
2b15d05
 @synindex vr fn
2b15d05
 
2b15d05
 @c to update the menus do: 
2b15d05
@@ -20,7 +21,7 @@
2b15d05
 @setchapternewpage odd
2b15d05
 @dircategory GNU Common Lisp
2b15d05
 @direntry 
2b15d05
-* gcl-tk: (gcl-tk.info). GNU TK Manual
88ebbbf
+* gcl-tk: (gcl-tk).	GNU Common Lisp TK Manual.
2b15d05
 @end direntry
2b15d05
 
2b15d05
 @ifinfo