index
:
debian-gudhi
debian/sid
dfsg/latest
gspr/buster
upstream-2/latest
upstream/latest
Debian package for GUDHI.
gspr@nonempty.org
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
debian
/
libgudhi-doc.install
blob: 10c33133d738249e5c905f412851320d4bfeb9f7 (
plain
)
1
build/userversion/doc/html/* usr/share/doc/libgudhi/html/
