diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/patches/0014-set-proper-installation-path.patch | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/debian/patches/0014-set-proper-installation-path.patch b/debian/patches/0014-set-proper-installation-path.patch index 3baeb79..bfd2eed 100644 --- a/debian/patches/0014-set-proper-installation-path.patch +++ b/debian/patches/0014-set-proper-installation-path.patch @@ -7,16 +7,14 @@ Forwarded: not-needed share/mk/install/_.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) -diff --git a/share/mk/install/_.mk b/share/mk/install/_.mk -index 751ab97..bbf4ee2 100644 ---- a/share/mk/install/_.mk -+++ b/share/mk/install/_.mk -@@ -12,7 +12,7 @@ include $(MAKEFILEDIR)/cmd.mk +--- a/share/mk/configure/directory_variables.mk ++++ b/share/mk/configure/directory_variables.mk +@@ -13,7 +13,7 @@ - DESTDIR := --prefix := /usr/local -+prefix := /usr - + DESTDIR := +-prefix := /usr/local ++prefix := /usr datarootdir := $(prefix)/share docdir := $(datarootdir)/doc + htmldir := $(docdir)/html/man |