[opam] [release] Fixup for dune-release distrib

It seems the doc directory has to exist.
rocq-archive · Apr 23, 2019 · 6567bc5 · 6567bc5
1 parent ff0ccd3
commit 6567bc5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-serapi.opam b/coq-serapi.opam
@@ -8,7 +8,7 @@ homepage:     "https://github.com/ejgallego/coq-serapi"
 bug-reports:  "https://github.com/ejgallego/coq-serapi/issues"
 dev-repo:     "git+https://github.com/ejgallego/coq-serapi.git"
 license:      "GPL 3"
-doc:          "https://ejgallego.github.io/coq-serapi/doc"
+doc:          "https://ejgallego.github.io/coq-serapi/"
 
 depends: [
   "ocaml"         { >= "4.06.0"           }