Install Changes to docdir #34
Description
This is a note to check that oasis installs Changes* to docdir. If not, oasis2opam could add the line iff a Changes* file exists.
{{ message }}
This is a note to check that oasis installs Changes* to docdir. If not, oasis2opam could add the line iff a Changes* file exists.