branch: externals/debbugs
commit 69f4dc14e8cbffbada422fe4e2d5640692a63425
Author: Morgan Smith <morgan.j.sm...@outlook.com>
Commit: Michael Albinus <michael.albi...@gmx.de>
doc: Update manual names in the directory node
This should help the user select the correct manual from the name
alone (such as when using `Info-menu' to select the node).
* debbugs-ug.texi: Debbugs UG -> Debbugs User Guide
* debbugs.texi: Debbugs UG -> Debbugs Library
---
debbugs-ug.texi | 2 +-
debbugs.texi | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/debbugs-ug.texi b/debbugs-ug.texi
index 0cd89177ce..ef2f20b081 100644
--- a/debbugs-ug.texi
+++ b/debbugs-ug.texi
@@ -4,7 +4,7 @@
@dircategory Emacs
@direntry
-* Debbugs UG: (debbugs-ug). Debbugs User Interface in Emacs.
+* Debbugs User Guide: (debbugs-ug). Debbugs User Interface in Emacs.
@end direntry
@copying
diff --git a/debbugs.texi b/debbugs.texi
index d682077ee0..f5024c5c36 100644
--- a/debbugs.texi
+++ b/debbugs.texi
@@ -4,7 +4,7 @@
@dircategory Emacs
@direntry
-* Debbugs: (debbugs). A library for communication with Debbugs.
+* Debbugs Library: (debbugs). A library for communication with Debbugs.
@end direntry
@copying
