--- tools/Makefile.in.orig	Tue Feb 16 01:09:02 1999
+++ tools/Makefile.in	Fri Feb 19 00:20:20 1999
@@ -146,7 +146,7 @@
 mcserv = @mcserv@
 need_gnome_support = @need_gnome_support@
 
-SUBDIRS = convertrgb gnome-doc
+SUBDIRS = convertrgb
 mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
 CONFIG_HEADER = ../config.h
 CONFIG_CLEAN_FILES = 
