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