diff options
Diffstat (limited to 'devel/libfaketime/files/patch-man_Makefile')
| -rw-r--r-- | devel/libfaketime/files/patch-man_Makefile | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/devel/libfaketime/files/patch-man_Makefile b/devel/libfaketime/files/patch-man_Makefile deleted file mode 100644 index 0bf6ffb70bbe..000000000000 --- a/devel/libfaketime/files/patch-man_Makefile +++ /dev/null @@ -1,22 +0,0 @@ ---- man/Makefile.orig 2016-06-27 06:54:00 UTC -+++ man/Makefile -@@ -1,14 +1,16 @@ - INSTALL ?= install - - PREFIX ?= /usr/local -+MANDIR ?= /share/man - - all: - - install: -- $(INSTALL) -Dm0644 faketime.1 "${DESTDIR}${PREFIX}/share/man/man1/faketime.1" -- gzip -f "${DESTDIR}${PREFIX}/share/man/man1/faketime.1" -+ $(INSTALL) -dm0755 "${DESTDIR}${PREFIX}$(MANDIR)/man1" -+ $(INSTALL) -Dm0644 faketime.1 "$(DESTDIR)$(PREFIX)$(MANDIR)/man1" -+ gzip -f $(DESTDIR)$(PREFIX)$(MANDIR)/man1/faketime.1 - - uninstall: -- rm -f "${DESTDIR}${PREFIX}/share/man/man1/faketime.1.gz" -+ rm -f "$(DESTDIR)$(PREFIX)$(MANDIR)/man1/faketime.1.gz" - - .PHONY: all install uninstall |