gnustep/libs-gui
0
0
Fork 0
mirror of https://github.com/gnustep/libs-gui.git synced 2025-04-23 07:00:46 +00:00
Code Issues Projects Releases Packages Wiki Activity

Check for Gui before removing

Browse source 
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/libs/gui/trunk@16972 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
Adam Fedor 2003-06-20 16:15:59 +00:00
parent 638f817c9a
commit 78417b8898
2 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
ChangeLog
View file

@ -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

4
Source/DocMakefile
View file

@ -170,5 +170,7 @@ include $(GNUSTEP_MAKEFILES)/documentation.make
#
after-all::
$(RM) Gui.gsdoc
rmdir Gui
if [ -d Gui ]; then \
rmdir Gui; \
fi