odoc configuration option renamed to --with-odoc

ocaml · Feb 12, 2021 · 6c8fef4 · 6c8fef4
1 parent a524a80
commit 6c8fef4
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 10 deletions.
diff --git a/configure b/configure
diff --git a/configure.ac b/configure.ac
@@ -267,8 +267,8 @@ AC_ARG_ENABLE([ocamldoc],
   [],
   [ocamldoc=auto])
 
-AC_ARG_ENABLE([odoc-documentation],
-  [AS_HELP_STRING([--enable-odoc-documentation],
+AC_ARG_WITH([odoc],
+  [AS_HELP_STRING([--with-odoc],
     [build documentation with odoc])])
 
 
@@ -1762,7 +1762,7 @@ AS_IF([test x"$enable_ocamldoc" = "xno"],
   [ocamldoc=""],
   [ocamldoc=ocamldoc])
 
-AS_IF([test x"$enable_odoc_documentation" = "xyes"],
+AS_IF([test x"$with_odoc" = "xyes"],
   [documentation_mode="odoc"],
   [documentation_mode="ocamldoc"])