libgudhi-dev.install « debian - debian-gudhi - Debian package for GUDHI.

summary refs log tree commit diff

path: root/debian/libgudhi-dev.install

blob: 3035131debe3f59a4e20899ae7d6a7fe65d90784 (plain)

1
2

debian/tmp/usr/include/gudhi/ usr/include/
debian/tmp/usr/share/gudhi/*.cmake usr/lib/cmake/gudhi/