X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=debian%2Fframa-c-cost-plugin.install;h=bf06a0c7df3b3355b8c7d9de059af602b6dabda7;hb=9f6fc500d36f6037103e8b0936e9102e1c6b5905;hp=c703cf852fddcc0e947d87b4fedf75cf8badd4f3;hpb=9b043ecce5efa63c7c58ef957027e094d98d16a6;p=pkg-cerco%2Fframa-c-cost-plugin.git

diff --git a/debian/frama-c-cost-plugin.install b/debian/frama-c-cost-plugin.install
index c703cf8..bf06a0c 100644
--- a/debian/frama-c-cost-plugin.install
+++ b/debian/frama-c-cost-plugin.install
@@ -1 +1,2 @@
+usr/lib/frama-c/
 usr/bin/