summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorReuben Thomas <rrt@sc3d.org>2012-04-16 17:39:10 +1200
committerMichael Kerrisk <mtk.manpages@gmail.com>2012-04-17 23:09:04 +1200
commit5ee63e782fd9a893801cb8c5419cec947643902f (patch)
tree2456173e8d2e38083fb8248c6923c66611e0accf /Makefile
parent37ec86d51016d1a938e4a655ca21194920d18d47 (diff)
Makefile: Add "uninstall" as a synonym for "remove" target
"uninstall" is the GNU standard name for the target, so it'll be the one most users are used to. Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 1d21f2cf..9efa7d2d 100644
--- a/Makefile
+++ b/Makefile
@@ -25,7 +25,7 @@ screen:
fi; \
done
-remove:
+uninstall remove:
for i in man?/*; do \
rm -f $(MANDIR)/"$$i" $(MANDIR)/"$$i".gz $(MANDIR)/"$$i".bz2; \
done