summaryrefslogtreecommitdiffstats
path: root/debian/patches/0014-set-proper-installation-path.patch
blob: bfd2eed7932fb96c005b0849c03cdcfb812db1d2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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(-)

--- a/share/mk/configure/directory_variables.mk
+++ b/share/mk/configure/directory_variables.mk
@@ -13,7 +13,7 @@
 
 
 DESTDIR     :=
-prefix      := /usr/local
+prefix      := /usr
 datarootdir := $(prefix)/share
 docdir      := $(datarootdir)/doc
 htmldir     := $(docdir)/html/man