set PREFIX=/usr when building debian packages
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 24 May 2013 08:33:10 +0000 (10:33 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 24 May 2013 08:33:10 +0000 (10:33 +0200)
commit1ba6e0aeb5949d0828aa2635d222f5257cd27ad5
tree6fb9d4cebc95dc2487cf195036328d9ef21a0b32
parentd68c9cb4f53db577d17d141d9fc6e1ed1e5a9494
set PREFIX=/usr when building debian packages
Makefile