Is there a way to remove a prefix from a string (a pathname in my case) in make?
make
As an example, suppose I had the string:
FILES = a/b/c.
You can strip off a leading a/ with
a/
$(FILE:a/%=%)
See the text substitution function reference for more options & details.
Since you say GNU make, why not just:
?