Closed Chris00 closed 5 years ago
(BTW, the directory src/crlibm/docs needs not be put in the tarball. Is there a way to tell that to topkg?)
Yes, see the exclude_paths
argument of Pkg.distrib
.
I suspect you are running into https://github.com/samoht/dune-release/pull/11
Yes, see the exclude_paths argument of Pkg.distrib.
(See uucp in the menagerie) for an example.
Thanks — that was quick to do with your indications.
Maybe you want to exclude .ps
and .eps
files from watermarking by default??
Maybe you want to exclude .ps and .eps files from watermarking by default??
Certainly a good idea.
Doing
topkg distrib --verbose
on the project https://github.com/Chris00/ocaml-crlibm stalls after the line:(BTW, the directory
src/crlibm/docs
needs not be put in the tarball. Is there a way to tell that to topkg?)