# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1251860810 0
# Node ID dba547c05661f749a80b9e62e80888415137975f
# Parent  f8b01ad246930ffb80eff421789db9e471ed00c3
(info-menu-5): Mark face alias as obsolete.

diff -r f8b01ad24693 -r dba547c05661 lisp/info.el
--- a/lisp/info.el	Wed Sep 02 03:06:25 2009 +0000
+++ b/lisp/info.el	Wed Sep 02 03:06:50 2009 +0000
@@ -121,7 +121,7 @@
     (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))