]> www.ginac.de Git - ginac.git/blobdiff - debian/ginaccint.files
building in separate directory didn't work
[ginac.git] / debian / ginaccint.files
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..90556052363dfac5f9602f26d23b892fe214a6ee 100644 (file)
@@ -0,0 +1,2 @@
+usr/bin/ginaccint*
+usr/share/man/man1/ginaccint*