mirror of
https://github.com/gnustep/libs-gui.git
synced 2025-04-22 13:10:59 +00:00
Don't delete config.h.
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/libs/gui/trunk@2498 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
parent
dd2e92ad2e
commit
ec97c32ec1
2 changed files with 6 additions and 1 deletions
|
@ -1,3 +1,9 @@
|
|||
Mon Oct 13 12:08:51 1997 Ovidiu Predescu <ovidiu@net-community.com>
|
||||
|
||||
* Headers/gnustep/gui/config.h: Added to repository.
|
||||
* Makefile.postamble: Don't delete config.h file since it's no longer
|
||||
automatically generated.
|
||||
|
||||
Wed Oct 8 15:38:22 1997 Ovidiu Predescu <ovidiu@net-community.com>
|
||||
|
||||
* Heavy display and window flushing optimizations have been
|
||||
|
|
|
@ -67,7 +67,6 @@ after-clean::
|
|||
# Things to do after distcleaning
|
||||
after-distclean::
|
||||
rm -f config.status config.log config.cache TAGS config.mak
|
||||
cd Headers ; cd gnustep ; cd gui ; rm -f config.h
|
||||
cd Headers ; rm -rf AppKit ; rm -rf DPSClient
|
||||
|
||||
# Things to do before checking
|
||||
|
|
Loading…
Reference in a new issue