diff options
Diffstat (limited to 'devel/git-remote-hg/files/patch-Makefile')
| -rw-r--r-- | devel/git-remote-hg/files/patch-Makefile | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/devel/git-remote-hg/files/patch-Makefile b/devel/git-remote-hg/files/patch-Makefile deleted file mode 100644 index c374547afdd1..000000000000 --- a/devel/git-remote-hg/files/patch-Makefile +++ /dev/null @@ -1,12 +0,0 @@ ---- Makefile.orig 2018-10-14 14:27:51 UTC -+++ Makefile -@@ -1,7 +1,7 @@ --prefix := $(HOME) -+prefix ?= $(HOME) - - bindir := $(prefix)/bin --mandir := $(prefix)/share/man/man1 -+mandir := $(prefix)/man/man1 - - all: doc - |