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

Don't delete the makefile on distclean

Browse source 
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/libs/gui/trunk@2510 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
Ovidiu Predescu 1997-10-16 00:16:03 +00:00
parent 5068c65e2f
commit 9002427b25
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Documentation/Makefile
View file

@ -252,6 +252,5 @@ clean: mostlyclean
rm -f *.ps
distclean: clean
rm -f Makefile
maintainer-clean: distclean