diff options
Diffstat (limited to 'debian/patches/0014-set-proper-installation-path.patch')
| -rw-r--r-- | debian/patches/0014-set-proper-installation-path.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/debian/patches/0014-set-proper-installation-path.patch b/debian/patches/0014-set-proper-installation-path.patch new file mode 100644 index 0000000..3baeb79 --- /dev/null +++ b/debian/patches/0014-set-proper-installation-path.patch @@ -0,0 +1,22 @@ +From: Marcos Fouces <marcos@debian.org> +Date: Thu, 12 May 2022 00:06:17 +0200 +Subject: change installation path in the Makefile. + +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 + + + DESTDIR := +-prefix := /usr/local ++prefix := /usr + + datarootdir := $(prefix)/share + docdir := $(datarootdir)/doc |