remove odoc

Makefile

@@ -1,5 +1,5 @@
 FLAGS = -use-menhir -yaccflag "--explain"
-OPTFLAGS = -classic-display -ocamlopt "ocamlopt -O3" 
+OPTFLAGS = -classic-display -ocamlopt "ocamlopt -O3"
 
 default: native
 

anders.opam

@@ -1,20 +1,21 @@
 opam-version: "2.0"
 name: "anders"
-version: "0.7"
+version: "0.7.1"
 maintainer: "Namdak Tonpa <maxim@synrc.com>"
-authors: ["Groupoid Infinity"]
+authors: [
+  "Namdak Tonpa @5HT"
+  "Siegmentation Fault @siegment"
+]
 homepage: "https://groupoid.space/homotopy/"
 bug-reports: "https://github.com/groupoid/anders/issues"
 dev-repo: "git+https://github.com/groupoid/anders"
 synopsis: "CCHM homotopy system type checker based on Mini-TT for OCaml"
 license: "ISC"
 depends: [
   "dune" {>= "2.0"}
-  "ocaml" {>= "4.02.0"}
+  "ocaml" {>= "4.10.0"}
   "menhir" {>= "2.0"}
-  "odoc" {with-doc}
 ]
 build: [
   ["dune" "build" "-p" name "-j" jobs]
-  ["dune" "build" "-p" name "-j" jobs "@doc"] {with-doc}
 ]

dune

@@ -1,5 +1,5 @@
 (env (dev (flags (:standard -warn-error -A))))
 (ocamllex lexer)
 (menhir (modules parser))
-(executable (name anders))
+(executable (name anders) (package anders) (public_name anders))
 (documentation (package anders))