On Mon, 1 Nov 2004, Cristian Rigamonti wrote:
Thanks very much for answering so quickly. You're right. On
Debian, *.lang files are in the directory
/usr/share/gtksourceview-1.0/language-specs/. If I copy gretl.lang
there, it works.
I ran "updatedb" and then "locate gretl.lang" but I can't find
any
installed copu of gretl.lang on my system... I also saved the
output from the "make install" command, but it doesn't contain any
references to gretl.lang, or gtksourceview AFAIK.
If you look in gui2/Makefile you'll see the mechanism that is
supposed to install gretl.lang (and gnuplot.lang). What does
pkg-config --variable=prefix gtksourceview-1.0
say on your system?
Allin.