--- Comment #10 from Björn Persson <bjorn(a)xn--rombobjrn-67a.se> ---
(In reply to comment #7)
Would this mean renaming the /usr/share/gps directory, too?
Just so we're all aware of the implications: If /usr/share/gps is renamed, then
we'll have to patch the makefiles of various libraries that want to install
files in /usr/share/gps/plug-ins. I checked GTKada, XMLada and Gnatcoll, and
the directory name "gps" is hard-coded in all of them.
You are receiving this mail because:
You are on the CC list for the bug.