casa-mp-base

--- 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