From cc53f3effef01005730856f6ff9a9d5063fcb6f1 Mon Sep 17 00:00:00 2001
From: fedor <fedor@72102866-910b-0410-8b05-ffd578937521>
Date: Fri, 20 Jun 2003 16:15:59 +0000
Subject: [PATCH] Check for Gui before removing

git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/libs/gui/trunk@16972 72102866-910b-0410-8b05-ffd578937521
---
 ChangeLog          | 5 +++++
 Source/DocMakefile | 4 +++-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index ee7fc6f0a..1027c52a4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2003-06-20  Adam Fedor  <fedor@gnu.org>
+
+	* Source/DocMakefile (after-all): Check if Gui exists before
+	removing.
+
 2003-06-20  Adam Fedor  <fedor@gnu.org>
 
 	* Version 0.8.7
diff --git a/Source/DocMakefile b/Source/DocMakefile
index 9dd7ead9d..6e13af895 100644
--- a/Source/DocMakefile
+++ b/Source/DocMakefile
@@ -170,5 +170,7 @@ include $(GNUSTEP_MAKEFILES)/documentation.make
 #
 after-all::
 	$(RM) Gui.gsdoc
-	rmdir Gui
+	if [ -d Gui ]; then \
+	  rmdir Gui; \
+	fi