diff options
-rw-r--r-- | debian/ripser.install | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/ripser.install b/debian/ripser.install index 8dd1c67..ad293cd 100644 --- a/debian/ripser.install +++ b/debian/ripser.install @@ -1 +1,2 @@ -build/* usr/bin/ +build/ripser usr/bin/ +build/ripser-coeff usr/bin/ |