Re: [PATCH] Uninstall rule for top level Makefile

!MAILaRCHIVE_VOTE_RePLACE
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
To: <git@...>
Date: Tuesday, December 12, 2006 - 11:42 am

On Tuesday 2006 December 12 14:15, Johannes Schindelin wrote:


Absolutely.  I agree entirely.  The only reason I raised it was because I had 
cause to need it.  The quickest way I found was just to write the missing 
recipe.  As I'd written it, I thought I'd share.  As you say, it has no other 
use than unpicking a stupid "install", done by a butterbrain like myself :-)


Until I needed it; I didn't care that it wasn't there.  Even then "need" is 
perhaps too strong a word.  It was handy.  That's it.  If there are strong 
moral objections to it; it doesn't bother me.



Andy
-- 
Dr Andy Parkins, M Eng (hons), MIEE
andyparkins@gmail.com
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
[PATCH] Uninstall rule for top level Makefile, Andy Parkins, (Mon Dec 11, 6:14 pm)
Re: [PATCH] Uninstall rule for top level Makefile, Johannes Schindelin, (Tue Dec 12, 8:25 am)
Re: [PATCH] Uninstall rule for top level Makefile, Andy Parkins, (Tue Dec 12, 8:51 am)
Re: [PATCH] Uninstall rule for top level Makefile, Johannes Schindelin, (Tue Dec 12, 10:15 am)
Re: [PATCH] Uninstall rule for top level Makefile, Andy Parkins, (Tue Dec 12, 11:42 am)