--- makefile.orig 2018-10-13 14:26:45.000000000 -0500 +++ makefile 2018-10-14 14:47:45.000000000 -0500 @@ -25,7 +25,7 @@ examples_dir = ${doc_dir}extras/ # Location of the highlight config files: -conf_dir = /etc/highlight/ +conf_dir = ${PREFIX}/etc/highlight/ #conf_dir = ${PREFIX}/etc/highlight/ # Location of additional gui files