Use DESTDIR for make install
[petitboot] / petitboot-paths.h
2007-04-02 Jeremy KerrMake petitboot installable