diff options
| author | Adelyn Breelove <[email protected]> | 2019-01-18 10:53:38 -0700 |
|---|---|---|
| committer | Adelyn Breelove <[email protected]> | 2019-01-18 10:53:38 -0700 |
| commit | 0967f1b2ebabd89c88ca49310dc5f8e84b779c4c (patch) | |
| tree | ac7c7ca3b880d0db1560b73532d41dfca845052a | |
| parent | update opam file, bump to 0.2.0 (diff) | |
| download | disml-0967f1b2ebabd89c88ca49310dc5f8e84b779c4c.tar.xz disml-0967f1b2ebabd89c88ca49310dc5f8e84b779c4c.zip | |
fix opam linting errors
| -rw-r--r-- | disml.opam | 5 |
1 files changed, 1 insertions, 4 deletions
@@ -32,8 +32,5 @@ depends: [ build: [ ["dune" "subst"] {pinned} ["dune" "build" "-p" name "-j" jobs] -] -build-doc: [ - ["dune" "subst"] {pinned} - ["dune" "build" "-p" "@doc" "-j" jobs] + ["dune" "build" "-p" "@doc" "-j" jobs] {with-doc} ]
\ No newline at end of file |