[Bug 834747] Review Request: gps - IDE for C and Ada

[bugzilla at redhat.com]

https://bugzilla.redhat.com/show_bug.cgi?id=834747

--- Comment #10 from Björn Persson <bjorn at 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.