* [PATCH 2/2] gitk-git: have make uninstall also remove empty directories
@ 2009-12-08 15:23 Jan Nieuwenhuizen
0 siblings, 0 replies; only message in thread
From: Jan Nieuwenhuizen @ 2009-12-08 15:23 UTC (permalink / raw)
To: git
The default Git install performs a multi-rooted install in $HOME,
which makes manual removal somewhat cumbersome.
The directories created by the installation should be removed if
they are empty.
Signed-off-by: Jan Nieuwenhuizen <janneke@gnu.org>
---
gitk-git/Makefile | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/gitk-git/Makefile b/gitk-git/Makefile
index e1b6045..d68f19a 100644
--- a/gitk-git/Makefile
+++ b/gitk-git/Makefile
@@ -47,6 +47,8 @@ install:: all
uninstall::
$(foreach p,$(ALL_MSGFILES), $(RM) '$(DESTDIR_SQ)$(msgsdir_SQ)'/$(notdir $p) &&) true
$(RM) '$(DESTDIR_SQ)$(bindir_SQ)'/gitk
+ -rmdir -p '$(DESTDIR_SQ)$(bindir_SQ)'/gitk
+ -rmdir -p '$(DESTDIR_SQ)$(msgsdir_SQ)'
clean::
$(RM) gitk-wish po/*.msg
--
1.6.5.2.182.g1a756
--
Jan Nieuwenhuizen <janneke@gnu.org> | GNU LilyPond - The music typesetter
Avatar®: http://AvatarAcademy.nl | http://lilypond.org
^ permalink raw reply related [flat|nested] only message in thread
only message in thread, other threads:[~2009-12-08 15:24 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2009-12-08 15:23 [PATCH 2/2] gitk-git: have make uninstall also remove empty directories Jan Nieuwenhuizen
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox