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>