From c33d614d6537e0808661ebf7139c4430cf2d2852 Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Wed, 2 Sep 2009 03:06:50 +0000
Subject: [PATCH] (info-menu-5): Mark face alias as obsolete.

---
 lisp/info.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lisp/info.el b/lisp/info.el
index c0caf742877..f859ecf5dfb 100644
--- a/lisp/info.el
+++ b/lisp/info.el
@@ -121,7 +121,7 @@ The Lisp code is executed when the node is selected.")
     (t :underline t))
   "Face for every third `*' in an Info menu."
   :group 'info)
-(put 'info-menu-5 'face-alias 'info-menu-star)
+(define-obsolete-face-alias 'info-menu-5 'info-menu-star "22.1")
 
 (defface info-xref
   '((t :inherit link))
-- 
2.39.2