diff options
Diffstat (limited to 'textproc/highlight/files/patch-makefile')
-rw-r--r-- | textproc/highlight/files/patch-makefile | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/textproc/highlight/files/patch-makefile b/textproc/highlight/files/patch-makefile new file mode 100644 index 000000000000..be3e9c3541cc --- /dev/null +++ b/textproc/highlight/files/patch-makefile @@ -0,0 +1,35 @@ +--- makefile.orig 2014-04-25 16:45:48.000000000 +0200 ++++ makefile 2014-04-25 16:46:45.000000000 +0200 +@@ -4,10 +4,10 @@ + # Installation directories: + + # Destination directory for installation (intended for packagers) +-DESTDIR = ++DESTDIR ?= + + # Root directory for final installation +-PREFIX = /usr ++PREFIX ?= /usr + + # Location of the highlight data files: + data_dir = ${PREFIX}/share/highlight/ +@@ -16,7 +16,7 @@ + bin_dir = ${PREFIX}/bin/ + + # Location of the highlight man page: +-man_dir = ${PREFIX}/share/man/man1/ ++man_dir = ${PREFIX}/man/man1/ + + # Location of the highlight documentation: + doc_dir = ${PREFIX}/share/doc/highlight/ +@@ -25,8 +25,8 @@ + examples_dir = ${doc_dir}examples/ + + # Location of the highlight config files: +-conf_dir = /etc/highlight/ +-#conf_dir = ${PREFIX}/etc/highlight/ ++#conf_dir = /etc/highlight/ ++conf_dir = ${PREFIX}/etc/highlight/ + + # Location of additional gui files + desktop_apps = ${PREFIX}/share/applications/ |