--- gxedit.c.orig	Thu Sep 17 07:15:24 1998
+++ gxedit.c	Thu Sep 17 07:15:54 1998
@@ -6599,6 +6599,7 @@
  if(tooltips)
   gtk_tooltips_set_tip(tips, menuitem, "HTML reference", "");
 
+ /*
  menuitem = gtk_menu_item_new_with_label("System information");
  gtk_menu_append(GTK_MENU(menu), menuitem);
  gtk_signal_connect_object(GTK_OBJECT(menuitem), "activate",
@@ -6606,6 +6607,7 @@
  gtk_widget_show(menuitem);
  if(tooltips)
   gtk_tooltips_set_tip(tips, menuitem, "Run Xproc", "");
+  */
 
  menuitem = gtk_menu_item_new_with_label("About GXedit");
  gtk_menu_append(GTK_MENU(menu), menuitem);