From b784b3162ec8dcf96d0c605d15f9035ae1be6a5c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Ruiz=20de=20Alegr=C3=ADa?= <daniruiz@kali.org>
Date: Mon, 19 Dec 2022 18:07:10 +0100
Subject: [PATCH] Xfce: exclude texdoctk in settings panel

---
 etc/xdg/menus/xfce-settings-manager.menu | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/etc/xdg/menus/xfce-settings-manager.menu b/etc/xdg/menus/xfce-settings-manager.menu
index e8da0e30..69764512 100644
--- a/etc/xdg/menus/xfce-settings-manager.menu
+++ b/etc/xdg/menus/xfce-settings-manager.menu
@@ -121,6 +121,9 @@
       </And>
       <Filename>xfce4-settings-editor.desktop</Filename>
     </Include>
+    <Exclude>
+      <Filename>texdoctk.desktop</Filename>
+    </Exclude>
   </Menu>
 
 </Menu>