diff options
| -rw-r--r-- | debian/libgudhi-dev.install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/libgudhi-dev.install b/debian/libgudhi-dev.install index d9d02329..47779640 100644 --- a/debian/libgudhi-dev.install +++ b/debian/libgudhi-dev.install @@ -1 +1 @@ -debian/tmp/usr/include/gudhi/ usr/include/ +build/gudhi/include/gudhi/ usr/include/ |