Removed doc field in opam file

jserot · Nov 29, 2023 · 0240158 · 0240158
1 parent c4d7d61
commit 0240158
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/rfsm.opam b/rfsm.opam
@@ -5,7 +5,6 @@ maintainer: ["Jocelyn Sérot <[email protected]>"]
 authors: ["Jocelyn Sérot <[email protected]>"]
 license: "MIT"
 homepage: "http://github.com/jserot/rfsm"
-doc: "http://jserot.github.io/rfsm"
 bug-reports: "[email protected]"
 depends: [
   "dune" {>= "3.11"}