Remove MDX.

Psi-Prod · Feb 25, 2023 · f27c793 · f27c793
1 parent e16f778
commit f27c793
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 5 deletions.
diff --git a/dune-project b/dune-project
@@ -1,7 +1,5 @@
 (lang dune 3.0)
 
-(using mdx 0.1)
-
 (version 0.2)
 
 (name mehari)

diff --git a/mehari/dune b/mehari/dune
@@ -5,6 +5,3 @@
 
 (documentation
  (package mehari))
-
-(mdx
- (files :standard - index.mld mehari.mli))