Change node name.
authorrms <rms>
Wed, 23 Sep 1992 06:00:12 +0000 (06:00 +0000)
committerrms <rms>
Wed, 23 Sep 1992 06:00:12 +0000 (06:00 +0000)
manual/header.texi

index e638fa2..3b94557 100644 (file)
@@ -1,4 +1,4 @@
-@node Summary of Library Facilities, Maintenance, Language Features, Top
+@node Library Summary, Maintenance, Language Features, Top
 @appendix Summary of Library Facilities
 
 This appendix is a complete list of the facilities declared within the