--- ./tools/gnome-doc/Makefile.in.orig	2002-05-21 12:23:08.000000000 -0700
+++ ./tools/gnome-doc/Makefile.in	2002-05-28 19:01:35.000000000 -0700
@@ -152,7 +152,7 @@
 
 EXTRA_DIST = gnome-doc.el gnome-doc mkstub $(man_MANS)
 
-docdir = $(datadir)/doc
+docdir = $(datadir)/doc/gnome-libs-1.4.1.7
 
 doc_DATA = $(EXTRA_DIST)
 mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
--- ./devel-docs/Makefile.in.orig	2002-05-21 12:23:24.000000000 -0700
+++ ./devel-docs/Makefile.in	2002-05-28 19:01:35.000000000 -0700
@@ -173,7 +173,7 @@
 	$(TEXT_FILES)
 
 
-docdir = $(prefix)/doc
+docdir = $(prefix)/doc/gnome-libs-1.4.1.7
 doc_DATA = $(TEXT_FILES)
 mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
 CONFIG_HEADER = ../config.h