version 1.391, 2008/02/26 18:08:07
|
version 1.392, 2008/02/26 18:43:15
|
Line 530 distclean: clean
|
Line 530 distclean: clean
|
|
|
#realclean is useless, but dangerous, so it's commented out |
#realclean is useless, but dangerous, so it's commented out |
realclean: distclean |
realclean: distclean |
-$(RM) -f $(GEN_PRECIOUS) `cat .cvsignore` |
-$(RM) -rf $(GEN_PRECIOUS) `cat .cvsignore` |
|
|
#mostlyclean, but also remove some of the stuff that is distributed |
#mostlyclean, but also remove some of the stuff that is distributed |
virtualclean: mostlyclean |
virtualclean: mostlyclean |