From 7eaf6f5435a969e094d37cf803b28f371727a076 Mon Sep 17 00:00:00 2001 From: speedie Date: Tue, 15 Nov 2022 18:35:31 +0100 Subject: [PATCH] We don't have a man page --- Makefile | 2 -- 1 file changed, 2 deletions(-) diff --git a/Makefile b/Makefile index 6787df0..f970c95 100644 --- a/Makefile +++ b/Makefile @@ -45,7 +45,6 @@ install: st cp -f scripts/* $(DESTDIR)$(PREFIX)/bin chmod +x $(DESTDIR)$(PREFIX)/bin/st* chmod 755 $(DESTDIR)$(PREFIX)/bin/st - mkdir -p $(DESTDIR)$(MANPREFIX)/man1 mkdir -p $(DESTDIR)$(APPPREFIX) cp -f st.desktop $(DESTDIR)$(APPPREFIX) [ -f $(ICONNAME) ] && cp -f $(ICONNAME) $(DESTDIR)$(ICONPREFIX) || : @@ -55,6 +54,5 @@ install: st uninstall: rm -f $(DESTDIR)$(PREFIX)/bin/st rm -f $(DESTDIR)$(PREFIX)/bin/st.desktop - rm -f $(DESTDIR)$(MANPREFIX)/man1/st.1 .PHONY: all options clean dist install uninstall