almost ok

[pkg-cerco/frama-c-cost-plugin.git] / debian / frama-c-cost-plugin.install

diff --git a/debian/frama-c-cost-plugin.install b/debian/frama-c-cost-plugin.install
index c703cf852fddcc0e947d87b4fedf75cf8badd4f3..bf06a0c7df3b3355b8c7d9de059af602b6dabda7 100644 (file)
--- a/debian/frama-c-cost-plugin.install
+++ b/debian/frama-c-cost-plugin.install
@@ -1 +1,2 @@
+usr/lib/frama-c/
 usr/bin/