--- gxedit.c.orig	Mon Nov 23 04:30:47 1998
+++ gxedit.c	Tue Nov 24 00:58:23 1998
@@ -6569,6 +6569,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",
@@ -6576,6 +6577,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);
