Turn tools directory back on for libgnome?

[Darin Adler <darin bentspoon com>]

I can't build libgnomeui any more, because the tools directory in libgnome 
is no longer being built. The following patch is what I did to my local 
copy to make it work again. (I also got rid of the lines that build the 
intl directory, because there's no reason to do anything in there given 
how we use gettext.)

Is there a reason not to check this in?

Index: Makefile.am
===================================================================
RCS file: /cvs/gnome/libgnome/Makefile.am,v
retrieving revision 1.12
diff -p -u -r1.12 Makefile.am
--- Makefile.am	2001/08/04 00:36:58	1.12
+++ Makefile.am	2001/08/06 19:08:41
@@ -1,4 +1,4 @@
-SUBDIRS = idl libgnome tests po intl
+SUBDIRS = idl libgnome tests tools po

 EXTRA_DIST = message-of-doom

Index: configure.in
===================================================================
RCS file: /cvs/gnome/libgnome/configure.in,v
retrieving revision 1.50
diff -p -u -r1.50 configure.in
--- configure.in	2001/08/06 07:51:42	1.50
+++ configure.in	2001/08/06 19:08:41
@@ -104,9 +104,10 @@ gnome-libs. You can download the latest
 AC_OUTPUT([
 Makefile
 po/Makefile.in
-intl/Makefile
 idl/Makefile
 tests/Makefile
+tools/Makefile
+tools/gnome-maketypes.awk
 libgnome/Makefile
 libgnome/libgnome-2.0.pc
 ])

===================================================================

    -- Darin