Merge pull request #1364 from wking/drop-man1-uninstall

Makefile: Drop man1 uninstall
This commit is contained in:
Mrunal Patel 2018-02-22 15:59:17 -08:00 committed by GitHub
commit 12d097da61
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -168,9 +168,6 @@ uninstall:
rm -f $(BINDIR)/crio rm -f $(BINDIR)/crio
rm -f $(LIBEXECDIR)/crio/conmon rm -f $(LIBEXECDIR)/crio/conmon
rm -f $(LIBEXECDIR)/crio/pause rm -f $(LIBEXECDIR)/crio/pause
for i in $(filter %.1,$(MANPAGES)); do \
rm -f $(MANDIR)/man8/$$(basename $${i}); \
done
for i in $(filter %.5,$(MANPAGES)); do \ for i in $(filter %.5,$(MANPAGES)); do \
rm -f $(MANDIR)/man5/$$(basename $${i}); \ rm -f $(MANDIR)/man5/$$(basename $${i}); \
done done