From b3de72ee63d0e1975a85ac6e86d59da761d518a4 Mon Sep 17 00:00:00 2001
From: "ramiro%netscape.com" <ramiro%netscape.com>
Date: Fri, 20 Aug 1999 12:15:06 +0000
Subject: [PATCH] Make it work with the gtkmozilla makefiles.

---
 webshell/embed/Makefile.in | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/webshell/embed/Makefile.in b/webshell/embed/Makefile.in
index 5764f8430050..543ef12924f7 100644
--- a/webshell/embed/Makefile.in
+++ b/webshell/embed/Makefile.in
@@ -24,15 +24,20 @@ include $(DEPTH)/config/autoconf.mk
 
 ifdef MOZ_ENABLE_GTK_MOZILLA
 all:: export libs install
+
 export::
+	@cd gtk ; rm -f config.cache ; ./configure --prefix=$(MOZ_BUILD_ROOT)/dist --with-mozilla=$(MOZ_BUILD_ROOT) ; cd ..
+
 libs::
+	@cd gtk ; $(MAKE) ; cd ..
+
 depend::
 
 install::
-	@cd gtk ; ./configure --prefix=$(MOZ_BUILD_ROOT)/dist --with-mozilla=$(MOZ_BUILD_ROOT) ; $(MAKE) ; cd ..
+	@cd gtk ; $(MAKE) install ; cd ..
 
 clobber::
-	@cd gtk ; $(MAKE) clean ; cd ..
+	@cd gtk ; $(MAKE) distclean ; cd ..
 else
 all::
 export::