--- 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
 
