make with DESTDIR writes incorrect path

[robb w.]

In order to try the latest version (1.07) I ran make with DESTDIR set.

(I couldn't find a suitable rpm package and I didn't want to touch any of the system directories.)

Afterwards starting decibel failed with this error:
> [rubicon 03.07 12:22:05]$ ~/tools/decibel/usr/local/bin/decibel-audio-player
> [rubicon 03.07 12:22:18]$ python: can't open file '/usr/local/share/decibel-audio-player/src/decibel-audio-player.py': [Errno 2] No such file or directory

Looks like the custom path doesn't get patched/hacked in to the startup/wrapper script... probably this should work?

> [rubicon 03.07 12:20:51]$ make DESTDIR=/home/robb/tools/decibel install
> cat start.sh | sed -e 's!prefix!/usr/local!g' > decibel-audio-player;
> cat start-remote.sh | sed -e 's!prefix!/usr/local!g' > decibel-audio-player-remote;
> echo /home/robb/tools/decibel/usr/local
> /home/robb/tools/decibel/usr/local
> install -m 755 -d /home/robb/tools/decibel/usr/local/bin /home/robb/tools/decibel/usr/local/share/man/man1 /home/robb/tools/decibel/usr/local/share/decibel-audio-player /home/robb/tools/decibel/usr/local/share/decibel-audio-player/src /home/robb/tools/decibel/usr/local/share/decibel-audio-player/res /home/robb/tools/decibel/usr/local/share/applications /home/robb/tools/decibel/usr/local/share/decibel-audio-player/pix /home/robb/tools/decibel/usr/local/share/pixmaps
> install -m 755 -d /home/robb/tools/decibel/usr/local/share/decibel-audio-player/src/gui
> ...

[Anonym25712 (anonym25712)]

Fixed on trunk.

[Anonym25712 (anonym25712)]

See v1.08

[Vincent Untz (vuntz)]

Please revert the change done for this bug. What the original reporter should have used is PREFIX, not DESTDIR. I filed bug 856315 to make sure the change gets reverted.