chiark / gitweb /
path_id: remove on make uninstall
authorMiklos Vajna <vmiklos@frugalware.org>
Sat, 12 May 2007 22:06:26 +0000 (00:06 +0200)
committerKay Sievers <kay.sievers@vrfy.org>
Sat, 12 May 2007 22:06:26 +0000 (00:06 +0200)
extras/path_id/Makefile

index 24b47b425a35c48b846558e904a18b6745a398a0..d8efe64187231d84159258b2e4d0143049679ed7 100644 (file)
@@ -49,7 +49,7 @@ install-man:
 .PHONY: install-man
 
 uninstall-man:
-       @echo "Please create a man page for this tool."
+       -rm -f $(DESTDIR)$(mandir)/man8/$(PROG).8
 .PHONY: uninstall-man
 
 install-config: