Patch from Davide Scola to allow an extra level of choice in where the files are installed by defining DESTDIR.
Patch from Davide Scola to allow an extra level of choice
in where the files are installed by defining DESTDIR.

rhaberkorn/scintilla-mirror,rhaberkorn/scintilla-mirror,rhaberkorn/scintilla-mirror,rhaberkorn/scintilla-mirror,rhaberkorn/scintilla-mirror,rhaberkorn/scintilla-mirror,rhaberkorn/scintilla-mirror,rhaberkorn/scintilla-mirror