gnustep/libs-gui
0
0
Fork 0
mirror of https://github.com/gnustep/libs-gui.git synced 2025-05-30 02:30:37 +00:00
Code Issues Projects Releases Packages Wiki Activity

Fix doc cleaning

Browse source 
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/libs/gui/trunk@17784 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
Adam Fedor 2003-10-06 03:35:21 +00:00
parent 1500769c5c
commit f42d8c1e23
2 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Source/DocMakefile
View file

@ -231,8 +231,10 @@ after-clean::
$(RM) GuiAdditions.gsdoc
if [ -d Gui ]; then \
$(RM) Gui/stamp; \
$(RM) Gui/dependencies; \
rmdir Gui; \
$(RM) GuiAdditions/stamp; \
$(RM) GuiAdditions/dependencies; \
rmdir GuiAdditions; \
fi