From 9d2f65c8eade126cc7a14bccf3a67e46782a7c1e Mon Sep 17 00:00:00 2001
From: CaS <CaS@72102866-910b-0410-8b05-ffd578937521>
Date: Wed, 23 Jul 2003 22:17:21 +0000
Subject: [PATCH] doc tidy

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

diff --git a/ChangeLog b/ChangeLog
index 22a2d8481..aba798c93 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2003-07-23  Richard Frith-Macdonald <rfm@gnu.org>
+
+	* Source/DocMakefile: only remove directory containing 'stamp' for
+	clean.
+
 2003-07-23 22:23  Alexander Malmberg <alexander@malmberg.org>
 
 	* Headers/gnustep/gui/NSResponder.h: Make _menu private.
diff --git a/Source/DocMakefile b/Source/DocMakefile
index 32143d319..138534829 100644
--- a/Source/DocMakefile
+++ b/Source/DocMakefile
@@ -183,9 +183,10 @@ before-all::    ../Documentation/Gui
 #
 # Clean up temporary files used while generating documentation.
 #
-after-all::
+after-clean::
 	$(RM) Gui.gsdoc
 	if [ -d Gui ]; then \
+	  $(RM) Gui/stamp; \
 	  rmdir Gui; \
 	fi