diff options
| author | Sevz <leohdz172@protonmail.com> | 2022-06-14 15:43:09 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-14 15:43:09 -0500 |
| commit | 8076b47cc6eb6019d7c6fb15cc95b2ba6519da92 (patch) | |
| tree | 6e2ac77c8565cea3ea0d87cf1c71fc60d5058717 | |
| parent | 3a77f0291965abde2fdb1a7ef7297e86a13e8629 (diff) | |
| parent | 671a9b450b636f5a2ebfefe159fea44e3b615fad (diff) | |
Merge pull request #251 from gwnichol/fixinstall
Fix make install while files are in use
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -56,10 +56,10 @@ dist: clean install: dwl mkdir -p $(DESTDIR)$(PREFIX)/bin - cp dwl $(DESTDIR)$(PREFIX)/bin + cp -f dwl $(DESTDIR)$(PREFIX)/bin chmod 755 $(DESTDIR)$(PREFIX)/bin/dwl mkdir -p $(DESTDIR)$(MANDIR)/man1 - cp dwl.1 $(DESTDIR)$(MANDIR)/man1 + cp -f dwl.1 $(DESTDIR)$(MANDIR)/man1 chmod 644 $(DESTDIR)$(MANDIR)/man1/dwl.1 uninstall: rm -f $(DESTDIR)$(PREFIX)/bin/dwl $(DESTDIR)$(MANDIR)/man1/dwl.1 |