Subject: [PATCH] Remove not defined face info-menu-5 from manoj-dark theme

From: Y. E. <[email-masked]>
Date: Sun, 05 Dec 2021 19:43:55 +0200

Tags: patch

Hello,

The face 'info-menu-5' was obsoleted in favor to 'info-menu-star' back
in 2005 (185cff95450).

This patch suggests removal of the not defined face and not updating it,
because the de facto used 'info-menu-star' default value has served the
theme users during the last years.

A side-question: do I still need to add "Copyright-paperwork-exempt:
yes" to the minor commits even if I have the CA completed?

Thanks,
YE

>From 85ca17dd7fd3d3aaf8be81d2358809a7768d598e Mon Sep 17 00:00:00 2001
From: YugaEgo <[email-masked]>
Date: Sun, 5 Dec 2021 19:32:44 +0200
Subject: [PATCH] ; * etc/themes/manoj-dark-theme.el: Remove not defined face
 info-menu-5

Copyright-paperwork-exempt: yes
---
 etc/themes/manoj-dark-theme.el | 1 -
 1 file changed, 1 deletion(-)

diff --git a/etc/themes/manoj-dark-theme.el b/etc/themes/manoj-dark-theme.el
index f10b88507e..e80403f5b3 100644
--- a/etc/themes/manoj-dark-theme.el
+++ b/etc/themes/manoj-dark-theme.el
@@ -541,7 +541,6 @@ manoj-dark
  '(ido-indicator ((t (:background "red1" :foreground "yellow1" :width condensed))))
  '(ido-only-match ((t (:foreground "ForestGreen"))))
  '(ido-subdir ((t (:foreground "red1"))))
- '(info-menu-5 ((t (:underline t))))
  '(info-menu-header ((t (:bold t :weight bold))))
  '(info-node ((t (:bold t :italic t :foreground "yellow"))))
  '(info-node ((t (:italic t :bold t :foreground "white" :slant italic :weight bold))))
-- 
2.34.1