diff options
| author | Gard Spreemann <gspr@nonempty.org> | 2019-10-22 13:11:18 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspr@nonempty.org> | 2019-10-22 15:07:07 +0200 |
| commit | 3c20574b2a11b9c2a3f8cdbadbce375d9540d096 (patch) | |
| tree | f14b5e4f35906d9cd368502c3cddd82f328f8931 /debian | |
| parent | 260c2de929460e6fb0ef3760db3d22d382585196 (diff) | |
Correct path for include files.
Diffstat (limited to 'debian')
| -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/ |